reader: v.io/x/devtools: start to use profile-v23

Switch jiri test and hence all checked in
references to use jiri profile vs jiri v23-profile.

MultiPart: 12/16

Change-Id: Ib3c0cb3956846dd0e91423c639ecb6308565e078
diff --git a/android/Makefile b/android/Makefile
index 1d6b75d..700d206 100644
--- a/android/Makefile
+++ b/android/Makefile
@@ -1,6 +1,6 @@
 MAKEFLAGS += --warn-undefined-variables
 PATH := node_modules/.bin:$(PATH)
-NODE_DIR := $(shell jiri v23-profile list --info Target.InstallationDir nodejs)
+NODE_DIR := $(shell jiri profile list --info Target.InstallationDir v23:nodejs)
 PATH := $(PATH):$(NODE_DIR)/bin
 SHELL := /bin/bash
 VDLPATH := $(JIRI_ROOT)/release/go/src:$(shell cd ../common; pwd)
diff --git a/web/Makefile b/web/Makefile
index 4ea729b..909a3ae 100644
--- a/web/Makefile
+++ b/web/Makefile
@@ -1,6 +1,6 @@
 MAKEFLAGS += --warn-undefined-variables
 PATH := node_modules/.bin:$(PATH)
-NODE_DIR := $(shell jiri v23-profile list --info Target.InstallationDir nodejs)
+NODE_DIR := $(shell jiri profile list --info Target.InstallationDir v23:nodejs)
 PATH := $(PATH):$(NODE_DIR)/bin
 SHELL := /bin/bash
 VDLPATH := $(JIRI_ROOT)/release/go/src:$(shell cd ../common; pwd)