diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -365,6 +365,7 @@ $(web_dest)/: $(MAIN) html $(make_page) > $(web_dest)/index.html; \ cp README $(web_dest)/ ; \ ./$(MAIN) -s -w latex README > $(web_dest)/README.tex ; \ + cp $(web_src)/myheader.tex $(web_dest)/ ; \ cp $(web_src)/S5DEMO $(web_dest)/ ; \ cp $(web_src)/header.html $(web_dest)/ ; \ cp $(web_src)/footer.html $(web_dest)/ ; \ |