diff options
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/docs/Makefile b/docs/Makefile index 68c953e..c09b700 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -11,10 +11,14 @@ footer=assets/includes/footer.html index_src=index.org index_out=$(build_dir)/index.html +install_guile_src=install-guile.org +install_guile_dir=$(build_dir)/install-guile +install_guile_out=$(install_guile_dir)/index.html + nothing: @echo "Give me something to make. " -html: $(index_out) +html: $(index_out) $(install_guile_out) .PHONY: html @@ -26,6 +30,15 @@ $(index_out): $(index_src) $(header) $(footer) $(build_dir) @pandoc -f org -t html $< >> $@ @cat $(footer) >> $@ +$(install_guile_dir): + @mkdir -p $@ + +$(install_guile_out): $(install_guile_src) $(header) $(footer) \ + $(install_guile_dir) + @cat $(header) > $@ + @pandoc -f org -t html $< >> $@ + @cat $(footer) >> $@ + clean: $(build_dir) @rm -rf $< |