diff options
| -rw-r--r-- | Makefile | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/Makefile b/Makefile index 02f9d26..1fe1029 100644 --- a/Makefile +++ b/Makefile @@ -152,14 +152,20 @@ distcheck: $(dist_archive) # Build website -website: website/index.html +website: website/index.html website/manual/dev/en website/index.html: README.org build-aux/build-home-page.el $(EMACS) -Q --batch --load build-aux/build-home-page.el --funcall build-website +website/manual/dev/en: $(doc_html) + rm -rf $@ + mkdir -p $(dir $@) + cp -vr $^ $@ + # Clean clean: rm -f $(objects) $(dist_archive) $(dist_archive).asc Makefile.include website/index.html \ $(DOC_SCM:.scm=.cwl) $(DOC_IMAGES) $(DOC_IMAGES:.png=.dot) $(DOC_OUT) \ - $(doc_html) $(doc_info) doc/skribilo.go + $(doc_info) doc/skribilo.go + rm -rf $(doc_html) website/manual |