diff options
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 |