Merge branch 'RC_1_1'

docs/gen_stats_doc.py

@@ -81,9 +81,11 @@ names = []
 types = []
 
 for l in f:
+	description_line = l.lstrip().startswith('// ')
+
 	l = l.strip()
 
-	if l.startswith('// '):
+	if description_line == True:
 		if len(names) > 0:
 			render_section(names, description, types)
 			description = ''

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