v.io/x/devtools: remove unusued jiri-v23-profile subcommand.
Change-Id: Ieab9085f706108e6476f3973eb69909b6051be62
diff --git a/jiri-v23-profile/profile.go b/jiri-v23-profile/profile.go
deleted file mode 100644
index 557d24e..0000000
--- a/jiri-v23-profile/profile.go
+++ /dev/null
@@ -1,11 +0,0 @@
-// Copyright 2015 The Vanadium Authors. All rights reserved.
-// Use of this source code is governed by a BSD-style
-// license that can be found in the LICENSE file.
-
-package main
-
-import "os"
-
-func main() {
- os.Exit(1)
-}
diff --git a/jiridoc/doc.go b/jiridoc/doc.go
index 4474741..d2805ee 100644
--- a/jiridoc/doc.go
+++ b/jiridoc/doc.go
@@ -35,7 +35,6 @@
environment
swift Compile the Swift framework
test Manage vanadium tests
- v23-profile No description available
The jiri additional help topics are:
filesystem Description of jiri file system layout
@@ -1696,8 +1695,6 @@
-v=false
Print verbose output.
-Jiri v23-profile - No description available
-
Jiri filesystem - Description of jiri file system layout
All data managed by the jiri tool is located in the file system under a root
