diff --git a/docs/gen_stats_doc.py b/docs/gen_stats_doc.py index 2232fa4ee..3c7e8987a 100755 --- a/docs/gen_stats_doc.py +++ b/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 = '' 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 diff --git a/docs/write_disk_buffers.png b/docs/write_disk_buffers.png index 730dd7274..ccaf85a2a 100644 Binary files a/docs/write_disk_buffers.png and b/docs/write_disk_buffers.png differ