diff options
author | James O'Gorman <james@netinertia.co.uk> | 2008-10-27 21:17:03 +0000 |
---|---|---|
committer | James O'Gorman <james@netinertia.co.uk> | 2008-10-27 21:17:03 +0000 |
commit | e2750aba48a6e6e7138e89e4faedb7373a0ad9fa (patch) | |
tree | ba94cd82864abbdfb25c452900eeb4fe55545972 /docs | |
parent | fd02f8f69632fe4aab11b076fb9296571dcfdf1c (diff) |
Update distribution generator.
Diffstat (limited to 'docs')
-rw-r--r-- | docs/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/Makefile b/docs/Makefile index 83f8d152..0a5d6145 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -21,9 +21,9 @@ DOCBOOK=http://docbook.sourceforge.net/release/xsl/current/manpages/docbook.xsl all: docs docs: instguide adminguide manpages - mkdir -p $(HTMLPREFIX)/images - cp html/images/*.png $(HTMLPREFIX)/images/. - cp html/*.css $(HTMLPREFIX)/. + @mkdir -p $(HTMLPREFIX)/images + @cp html/images/*.png $(HTMLPREFIX)/images/. + @cp html/*.css $(HTMLPREFIX)/. adminguide: $(HTMLPREFIX)/adminguide/index.html |