diff options
author | rsiddharth <s@ricketyspace.net> | 2016-07-11 04:43:03 +0000 |
---|---|---|
committer | rsiddharth <s@ricketyspace.net> | 2016-07-11 04:43:03 +0000 |
commit | f54af87473c5f4edafc54518b86135f7b3b424b6 (patch) | |
tree | 5037fd097ba5081f17011fd0218031f63d6cd6b8 /docs/Makefile | |
parent | 2bf0246b8fc55099a60548ca47c87999ac17e15c (diff) |
add section about installing guile.
* README.org (the script): state guile is a per-requisite.
* docs/install-guile.org: new file.
* docs/Makefile (install_guile_dir, install_guile_out): new targets.
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 $< |