diff options
author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-04-14 21:21:26 +0000 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-04-14 21:21:26 +0000 |
commit | c3820d346f4188407642058694554a1f7994ab3b (patch) | |
tree | 733f1938baec3d09024fc79f9e7d93b605942048 /doc | |
parent | Added browseable_rtems (diff) | |
download | rtems-c3820d346f4188407642058694554a1f7994ab3b.tar.bz2 |
added browseable RTEMS
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
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 |