diff options
-rw-r--r-- | doc/tools/bmenu/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/tools/bmenu/Makefile b/doc/tools/bmenu/Makefile index 8b8f3d06b0..7e0d6bcdf6 100644 --- a/doc/tools/bmenu/Makefile +++ b/doc/tools/bmenu/Makefile @@ -32,10 +32,10 @@ TESTER=init test: all #rm -f timer.txt #./bmenu -v timer.texi - cp ../user/$(TESTER).texi . - ./bmenu $(TESTER).texi - mv $(TESTER).txt $(TESTER).texi - makeinfo c_user.texinfo + #cp ../user/$(TESTER).texi . + ./bmenu -u "DOCS UP" -p "DOCS PREV" -n "DOCS NEXT" -v testdoc.txt + #mv $(TESTER).txt $(TESTER).texi + #makeinfo c_user.texinfo clean: |