diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/makefile b/docs/makefile index a03ae03..9a994e4 100644 --- a/docs/makefile +++ b/docs/makefile @@ -17,7 +17,7 @@ gen/paged.polyfill.js: gen/start.html: gen/start.m4 gen/style.css $(M4) -I gen $< > $@ -%.html: %.md gen/start.html +%.html: %.md gen/start.html gen/paged.polyfill.js $(PANDOC) $< --to=html | $(CAT) gen/start.html - gen/end.html > $@ %.pdf: %.html |