diff options
author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-03-26 20:33:27 +0000 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-03-26 20:33:27 +0000 |
commit | bc0307e79d3f531655cf780eb790370598d26b6b (patch) | |
tree | 805d4f5bb93866f0fe2c3413d807a998d42585b9 /doc/Makefile | |
parent | rtems.html renamed index.html since that is what httpd looks for (diff) | |
download | rtems-bc0307e79d3f531655cf780eb790370598d26b6b.tar.bz2 |
Added build of tools to build procedure.
Automatically insert version information into headers and footers..
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 26 |
1 files changed, 21 insertions, 5 deletions
diff --git a/doc/Makefile b/doc/Makefile index 14b8c2927d..56b79cd796 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -6,28 +6,44 @@ include Make.config BASEDIR=$(shell pwd) -all: info html ps +all: env info html ps # find $(WWW_INSTALL) -type f | xargs -e chmod 444 # find $(WWW_INSTALL) -type d | xargs -e chmod 555 +env: tools dirs headers + dirs: -mkdir $(DOC_INSTALL_BASE) -mkdir $(WWW_INSTALL) -mkdir $(INFO_INSTALL) -mkdir $(PS_INSTALL) -info: dirs +headers: + sed -e 's/RTEMS_VERSION/$(RTEMS_VERSION)/' \ + <index.html >$(WWW_INSTALL)/index.html + sed -e 's/RTEMS_VERSION/$(RTEMS_VERSION)/' \ + <rtems_header.html >$(WWW_INSTALL)/rtems_header.html + sed -e 's/RTEMS_VERSION/$(RTEMS_VERSION)/' \ + <rtems_footer.html >$(WWW_INSTALL)/rtems_footer.html + +info: env ./do_docs $(BASEDIR) info -html: dirs +html: env cp common/*.gif common/*.jpg $(WWW_INSTALL) - cp rtems.html HELP.html $(WWW_INSTALL) ./do_docs $(BASEDIR) html -ps: dirs +ps: env ./do_docs $(BASEDIR) ps clean: ./do_docs $(BASEDIR) clean + cd tools/bmenu ; gmake clean + cd tools/pdl2texi ; gmake clean + +.PHONY: tools +tools: + cd tools/bmenu ; gmake + cd tools/pdl2texi ; gmake |