From f26d3a4d52d0a007bb1c6900b47d891c9e702c9a Mon Sep 17 00:00:00 2001
From: Robin Mills <robin@clanmills.com>
Date: Tue, 15 Jan 2013 08:05:35 +0000
Subject: [PATCH] fix to earlier commit.

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

diff --git a/doc/Makefile b/doc/Makefile
index 00bb9c7c..259beead 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -70,8 +70,6 @@ doxygen:
 tags:
 	cp -f    $(top_srcdir)/src/bin/taglist $(top_srcdir)/src
 	mkdir -p $(top_srcdir)/doc/html
-	rm   -rf $(top_srcdir)/doc/html
-	mkdir -p $(top_srcdir)/doc/html
 	cd       $(top_srcdir)/doc/templates && $(MAKE) all
 	cp -f    $(top_srcdir)/doc/templates/*.html $(top_srcdir)/doc/html/
 	@echo    "*****************************"