From c5f714c60541cb583aca30ff4850a3bd5224e394 Mon Sep 17 00:00:00 2001
From: arvidn <arvid@cs.umu.se>
Date: Wed, 17 Feb 2016 18:41:26 -0800
Subject: [PATCH] minor documentation makefile fix

---
 docs/makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/makefile b/docs/makefile
index 723507d73..2ae0cfbe4 100644
--- a/docs/makefile
+++ b/docs/makefile
@@ -120,5 +120,5 @@ ifneq ($(STAGE),)
 endif
 
 clean:
-	rm -f $(TARGETS:=.html) $(TARGETS:=.pdf) $(FIGURES:=.png) $(FIGURES:=.eps) settings.rst todo.html reference*.html reference*.rst
+	rm -f $(TARGETS:=.html) $(TARGETS:=.pdf) $(FIGURES:=.png) $(FIGURES:=.eps) settings.rst todo.html reference*.html reference*.rst stats_counters.rst manual.rst