From b6381a6ddebbb9bdd7be49da5a66e64a23a7aad3 Mon Sep 17 00:00:00 2001
From: rsiddharth <s@ricketyspace.net>
Date: Mon, 12 Nov 2018 23:19:00 -0500
Subject: docs/Makefile: Remove blank lines.

---
 docs/Makefile | 2 --
 1 file changed, 2 deletions(-)

(limited to 'docs/Makefile')

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