polish doc

This commit is contained in:
Laurent Perron
2019-08-07 18:39:16 -07:00
parent 797fe66dfd
commit ac68cb0bae
3 changed files with 40 additions and 27 deletions

View File

@@ -1152,7 +1152,7 @@ HTML_STYLESHEET =
# list). For an example see the documentation.
# This tag requires that the tag GENERATE_HTML is set to YES.
HTML_EXTRA_STYLESHEET =
HTML_EXTRA_STYLESHEET = tools/doc/ortools.css
# The HTML_EXTRA_FILES tag can be used to specify one or more extra images or
# other source files which should be copied to the HTML output directory. Note