diff options
| author | rsiddharth <s@ricketyspace.net> | 2018-11-12 23:19:00 -0500 |
|---|---|---|
| committer | rsiddharth <s@ricketyspace.net> | 2018-11-12 23:19:00 -0500 |
| commit | b6381a6ddebbb9bdd7be49da5a66e64a23a7aad3 (patch) | |
| tree | e46d41cb0a20191400f30d177c3c36aef6b987f8 | |
| parent | 3dbfce6305dfa6fec34fb46d371a736c8c6aa8e7 (diff) | |
docs/Makefile: Remove blank lines.
| -rw-r--r-- | docs/Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/docs/Makefile b/docs/Makefile index c09b700..160cc45 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -19,7 +19,6 @@ nothing: @echo "Give me something to make. " html: $(index_out) $(install_guile_out) - .PHONY: html $(build_dir): @@ -41,5 +40,4 @@ $(install_guile_out): $(install_guile_src) $(header) $(footer) \ clean: $(build_dir) @rm -rf $< - .PHONY: clean |