Remove doc/Makefile (template for dummy toplevel Makefile).

2015-03-16 23:23:14 +11:00
parent ca093feaf9
commit 5b89193679
5 changed files with 1 additions and 15 deletions
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,5 +0,0 @@
-
-SHELL = /usr/local/bin/bash
-
-default:
-	$(SHELL) ./configure --with-plugins
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -1,5 +0,0 @@
-
-SHELL = @SHELL@
-
-default:
-	$(SHELL) ./configure --with-plugins