diff options
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/doc/Makefile b/doc/Makefile index 9db3b61819..616c7d5ceb 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -7,15 +7,21 @@ all: info html ps # find $(WWW_INSTALL) -type f | xargs -e chmod 444 # find $(WWW_INSTALL) -type d | xargs -e chmod 555 -info: +dirs: + -mkdir $(WWW_INSTALL) + -mkdir $(WWW_INSTALL)/info + -mkdir $(WWW_INSTALL)/html + -mkdir $(WWW_INSTALL)/ps + +info: dirs ./do_docs $(BASEDIR) info -html: +html: dirs cp common/*.gif common/*.jpg $(WWW_INSTALL) cp rtems.html HELP.html $(WWW_INSTALL) ./do_docs $(BASEDIR) html -ps: +ps: dirs ./do_docs $(BASEDIR) ps clean: |