From b339cf085906e400b351744d98e3c8ca0649c11e Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Tue, 29 Nov 2011 19:48:26 -0500 Subject: [PATCH] [#5] Removed doc-* prefix from doc Makefile; redundant --- doc/Makefile | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/doc/Makefile b/doc/Makefile index 803d367..986477f 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -25,13 +25,13 @@ doc_replace := s/<\/body>/