From b6381a6ddebbb9bdd7be49da5a66e64a23a7aad3 Mon Sep 17 00:00:00 2001 From: rsiddharth Date: Mon, 12 Nov 2018 23:19:00 -0500 Subject: docs/Makefile: Remove blank lines. --- docs/Makefile | 2 -- 1 file changed, 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 -- cgit v1.2.3