From b18f783fedbe0b08ec4cfe71df432eb0c76252c1 Mon Sep 17 00:00:00 2001
From: Victor Zverovich <victor.zverovich@gmail.com>
Date: Wed, 18 May 2016 21:04:34 -0700
Subject: [PATCH] Add string.h to the docs

---
 doc/build.py | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

diff --git a/doc/build.py b/doc/build.py
index 98dfedab..33bcc932 100755
--- a/doc/build.py
+++ b/doc/build.py
@@ -9,11 +9,6 @@ from distutils.version import LooseVersion
 def pip_install(package, commit=None, **kwargs):
   "Install package using pip."
   if commit:
-    check_version = kwargs.get('check_version', '')
-    #output = check_output(['pip', 'show', package.split('/')[1]])
-    #if check_version in output:
-    #  print('{} already installed'.format(package))
-    #  return
     package = 'git+git://github.com/{0}.git@{1}'.format(package, commit)
   print('Installing {}'.format(package))
   check_call(['pip', 'install', '--upgrade', package])
@@ -49,7 +44,7 @@ def create_build_env():
               '12dde8afdb0a7bb5576e2656692c3478c69d8cc3',
               check_version='1.4a0.dev-20151013')
   pip_install('michaeljones/breathe',
-              '1c9d7f80378a92cffa755084823a78bb38ee4acc')
+              '6b1c5bb7a1866f15fc328b8716258354b10c1daa')
 
 def build_docs(version='dev', **kwargs):
   doc_dir = kwargs.get('doc_dir', os.path.dirname(os.path.realpath(__file__)))
@@ -63,7 +58,7 @@ def build_docs(version='dev', **kwargs):
       GENERATE_MAN      = NO
       GENERATE_RTF      = NO
       CASE_SENSE_NAMES  = NO
-      INPUT             = {0}/format.h {0}/ostream.h
+      INPUT             = {0}/format.h {0}/ostream.h {0}/string.h
       QUIET             = YES
       JAVADOC_AUTOBRIEF = YES
       AUTOLINK_SUPPORT  = NO
@@ -87,7 +82,7 @@ def build_docs(version='dev', **kwargs):
               '-Dversion=' + version, '-Drelease=' + version, '-Aversion=' + version,
               '-b', 'html', doc_dir, 'html'])
   try:
-    check_call(['lessc', '--clean-css',
+    check_call(['lessc', #'--clean-css',
                 '--include-path=' + os.path.join(doc_dir, 'bootstrap'),
                 os.path.join(doc_dir, 'fmt.less'),
                 'html/_static/fmt.css'])