diff options
author | 2012-10-17 10:32:16 -0700 | |
---|---|---|
committer | 2012-10-17 10:32:16 -0700 | |
commit | 28308f34390cdd6500dda238e2b52018081bff6c (patch) | |
tree | 61dfc7ec501946c536b3e20efb1ed0247bb69a7d /doc/Makefile | |
parent | ce511cd19b0b9a321aa740d75ef4a41ee57b7345 (diff) |
incorporated the new web templates for documentation
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 |