diff options
| -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 |