Index: Makefile
===================================================================
--- Makefile	(revision 16038)
+++ Makefile	(revision 16039)
@@ -3,7 +3,7 @@
 DEBLIST=../util/devhelpers/deblist.sh
 ROOT=..
 
-all: keys.html user/05_ui/06_common/keytree.svg
+all: keys.html user/05_ui/06_common/keytree.svg user/05_ui/06_common/keytree.txt
 	ROOT="" ./Autostyle.sh *.html
 
 include ../Makefile.conf
@@ -12,7 +12,10 @@
 	$(KEYLIST) --dot user/05_ui/06_common/src/node_names.txt $(MENU_RES) > user/05_ui/06_common/keytree.dot
 	dot -Tsvg < user/05_ui/06_common/keytree.dot >user/05_ui/06_common/keytree.svg
 
+user/05_ui/06_common/keytree.txt: $(MENU_RES) $(KEYLIST)
+	$(KEYLIST) --lst $(MENU_RES) > user/05_ui/06_common/keytree.txt
 
+
 keys.html: $(MENU_RES) $(KEYLIST)
 	$(KEYLIST) $(MENU_RES) > keys.html