From c3820d346f4188407642058694554a1f7994ab3b Mon Sep 17 00:00:00 2001 From: Joel Sherrill Date: Tue, 14 Apr 1998 21:21:26 +0000 Subject: added browseable RTEMS --- doc/Makefile | 2 ++ 1 file changed, 2 insertions(+) (limited to 'doc/Makefile') diff --git a/doc/Makefile b/doc/Makefile index 64f6f434de..b306018624 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -36,6 +36,7 @@ clean: ./do_docs $(BASEDIR) clean cd tools/bmenu ; gmake clean cd tools/pdl2texi ; gmake clean + cd tools/src2html ; gmake clean .PHONY: tools @@ -43,3 +44,4 @@ clean: tools: cd tools/bmenu ; gmake cd tools/pdl2texi ; gmake + cd tools/src2html ; gmake -- cgit v1.2.3