diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 57 |
1 files changed, 0 insertions, 57 deletions
diff --git a/doc/Makefile b/doc/Makefile deleted file mode 100644 index 39ca6a35f4..0000000000 --- a/doc/Makefile +++ /dev/null @@ -1,57 +0,0 @@ -# -# $Id$ -# - -include Make.config - -BASEDIR=$(shell pwd) - -all: env info html ps pdf -# find $(WWW_INSTALL) -type f | xargs -e chmod 444 -# find $(WWW_INSTALL) -type d | xargs -e chmod 555 - -env: tools dirs headers - -dirs: - $(make-dirs) - -headers: - sed -e 's/RTEMS_VERSION/$(RTEMS_VERSION)/' \ - <$(SRCDIR)/index.html >$(WWW_INSTALL)/index.html - sed -e 's/RTEMS_VERSION/$(RTEMS_VERSION)/' \ - <$(SRCDIR)/rtems_support.html >$(WWW_INSTALL)/rtems_support.html - sed -e 's/RTEMS_VERSION/$(RTEMS_VERSION)/' \ - <$(SRCDIR)/rtems_header.html >$(WWW_INSTALL)/rtems_header.html - sed -e 's/RTEMS_VERSION/$(RTEMS_VERSION)/' \ - <$(SRCDIR)/rtems_footer.html >$(WWW_INSTALL)/rtems_footer.html - cp common/*.gif $(WWW_INSTALL) - cp BAD.html $(WWW_INSTALL) - -info: env - ./do_docs $(BASEDIR) info - -html: env - ./do_docs $(BASEDIR) html - -dvi: dirs env - ./do_docs $(BASEDIR) dvi - -ps: dirs env - ./do_docs $(BASEDIR) ps - -pdf: dirs env - ./do_docs $(BASEDIR) pdf - -clean: - ./do_docs $(BASEDIR) clean - cd tools/bmenu ; gmake clean - cd tools/pdl2texi ; gmake clean - cd tools/src2html ; gmake clean - - -.PHONY: tools - -tools: - cd tools/bmenu ; gmake - cd tools/pdl2texi ; gmake - cd tools/src2html ; gmake |