diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 6d0fc25..fb2fecb 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -18,7 +18,10 @@ $(MANUAL_DIR): web-manual: $(MANUAL_DIR) $(MAN_DEPS) @make -C $(MANUAL_SRC) @cp -r $(MANUAL_SRC)/figures $(MANUAL_DIR) - @mv $(MANUAL_SRC)/*.html $(MANUAL_DIR) + @cp -r $(MANUAL_SRC)/images $(MANUAL_DIR) + @cp $(MANUAL_SRC)/*.html $(MANUAL_DIR) + @cp $(MANUAL_SRC)/*.css $(MANUAL_DIR) +# @mv $(MANUAL_SRC)/*.html $(MANUAL_DIR) clean: @make -C $(MANUAL_SRC) clean |