always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

move doc file to separate directory

Browse Source
This commit is contained in:
Laurent Perron
2019-06-24 20:47:03 +02:00
parent 27d147af56
commit 5b0059583f
11 changed files with 32 additions and 32 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
makefiles/Makefile.doc.mk
View File

@@ -1,17 +1,17 @@
# Generate documentation
cpp-doc:
doxygen tools/cpp_graph.doxy
doxygen tools/cpp_linear.doxy
doxygen tools/cpp_routing.doxy
doxygen tools/cpp_sat.doxy
doxygen tools/doc/cpp_graph.doxy
doxygen tools/doc/cpp_linear.doxy
doxygen tools/doc/cpp_routing.doxy
doxygen tools/doc/cpp_sat.doxy
dotnet-doc:
doxygen tools/dotnet.doxy
doxygen tools/doc/dotnet.doxy
java-doc:
doxygen tools/java.doxy
doxygen tools/doc/java.doxy
python-doc:
$(SET_PYTHONPATH) pdoc3 --html -o docs/python/ortools/sat/python/ ortools/sat/python/cp_model.py
$(SET_PYTHONPATH) pdoc3 --html -o docs/python/ortools/util/ ortools/gen/ortools/util/sorted_interval_list.py
$(SET_PYTHONPATH) pdoc3 --force --html -o docs/python/ortools/sat/python/ ortools/sat/python/cp_model.py
$(SET_PYTHONPATH) pdoc3 --html --force -o docs/python/ortools/util/ ortools/gen/ortools/util/sorted_interval_list.py

8
tools/cpp_graph.doxy → tools/doc/cpp_graph.doxy
View File

@@ -922,7 +922,7 @@ IMAGE_PATH =
# need to set EXTENSION_MAPPING for the extension otherwise the files are not
# properly processed by doxygen.
INPUT_FILTER = "python3 tools/doxygen_filter.py"
INPUT_FILTER = "python3 tools/doc/doxygen_filter.py"
# The FILTER_PATTERNS tag can be used to specify filters on a per file pattern
# basis. Doxygen will compare the file name with each pattern and apply the
@@ -1113,7 +1113,7 @@ HTML_FILE_EXTENSION = .html
# of the possible markers and block names see the documentation.
# This tag requires that the tag GENERATE_HTML is set to YES.
HTML_HEADER = tools/ortools.header.html
HTML_HEADER = tools/doc/ortools.header.html
# The HTML_FOOTER tag can be used to specify a user-defined HTML footer for each
# generated HTML page. If the tag is left blank doxygen will generate a standard
@@ -1123,7 +1123,7 @@ HTML_HEADER = tools/ortools.header.html
# that doxygen normally uses.
# This tag requires that the tag GENERATE_HTML is set to YES.
HTML_FOOTER = tools/ortools.footer.html
HTML_FOOTER = tools/doc/ortools.footer.html
# The HTML_STYLESHEET tag can be used to specify a user-defined cascading style
# sheet that is used by each HTML page. It can be used to fine-tune the look of
@@ -1148,7 +1148,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 = tools/ortools.css
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

8
tools/cpp_linear.doxy → tools/doc/cpp_linear.doxy
View File

@@ -908,7 +908,7 @@ IMAGE_PATH =
# need to set EXTENSION_MAPPING for the extension otherwise the files are not
# properly processed by doxygen.
INPUT_FILTER = "python3 tools/doxygen_filter.py"
INPUT_FILTER = "python3 tools/doc/doxygen_filter.py"
# The FILTER_PATTERNS tag can be used to specify filters on a per file pattern
# basis. Doxygen will compare the file name with each pattern and apply the
@@ -1099,7 +1099,7 @@ HTML_FILE_EXTENSION = .html
# of the possible markers and block names see the documentation.
# This tag requires that the tag GENERATE_HTML is set to YES.
HTML_HEADER = tools/ortools.header.html
HTML_HEADER = tools/doc/ortools.header.html
# The HTML_FOOTER tag can be used to specify a user-defined HTML footer for each
# generated HTML page. If the tag is left blank doxygen will generate a standard
@@ -1109,7 +1109,7 @@ HTML_HEADER = tools/ortools.header.html
# that doxygen normally uses.
# This tag requires that the tag GENERATE_HTML is set to YES.
HTML_FOOTER = tools/ortools.footer.html
HTML_FOOTER = tools/doc/ortools.footer.html
# The HTML_STYLESHEET tag can be used to specify a user-defined cascading style
# sheet that is used by each HTML page. It can be used to fine-tune the look of
@@ -1134,7 +1134,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 = tools/ortools.css
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

8
tools/cpp_routing.doxy → tools/doc/cpp_routing.doxy
View File

@@ -914,7 +914,7 @@ IMAGE_PATH =
# need to set EXTENSION_MAPPING for the extension otherwise the files are not
# properly processed by doxygen.
INPUT_FILTER = "python3 tools/doxygen_filter.py"
INPUT_FILTER = "python3 tools/doc/doxygen_filter.py"
# The FILTER_PATTERNS tag can be used to specify filters on a per file pattern
# basis. Doxygen will compare the file name with each pattern and apply the
@@ -1105,7 +1105,7 @@ HTML_FILE_EXTENSION = .html
# of the possible markers and block names see the documentation.
# This tag requires that the tag GENERATE_HTML is set to YES.
HTML_HEADER = tools/ortools.header.html
HTML_HEADER = tools/doc/ortools.header.html
# The HTML_FOOTER tag can be used to specify a user-defined HTML footer for each
# generated HTML page. If the tag is left blank doxygen will generate a standard
@@ -1115,7 +1115,7 @@ HTML_HEADER = tools/ortools.header.html
# that doxygen normally uses.
# This tag requires that the tag GENERATE_HTML is set to YES.
HTML_FOOTER = tools/ortools.footer.html
HTML_FOOTER = tools/doc/ortools.footer.html
# The HTML_STYLESHEET tag can be used to specify a user-defined cascading style
# sheet that is used by each HTML page. It can be used to fine-tune the look of
@@ -1140,7 +1140,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 = tools/ortools.css
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

8
tools/cpp_sat.doxy → tools/doc/cpp_sat.doxy
View File

@@ -909,7 +909,7 @@ IMAGE_PATH =
# need to set EXTENSION_MAPPING for the extension otherwise the files are not
# properly processed by doxygen.
INPUT_FILTER = "python3 tools/doxygen_filter.py"
INPUT_FILTER = "python3 tools/doc/doxygen_filter.py"
# The FILTER_PATTERNS tag can be used to specify filters on a per file pattern
# basis. Doxygen will compare the file name with each pattern and apply the
@@ -1100,7 +1100,7 @@ HTML_FILE_EXTENSION = .html
# of the possible markers and block names see the documentation.
# This tag requires that the tag GENERATE_HTML is set to YES.
HTML_HEADER = tools/ortools.header.html
HTML_HEADER = tools/doc/ortools.header.html
# The HTML_FOOTER tag can be used to specify a user-defined HTML footer for each
# generated HTML page. If the tag is left blank doxygen will generate a standard
@@ -1110,7 +1110,7 @@ HTML_HEADER = tools/ortools.header.html
# that doxygen normally uses.
# This tag requires that the tag GENERATE_HTML is set to YES.
HTML_FOOTER = tools/ortools.footer.html
HTML_FOOTER = tools/doc/ortools.footer.html
# The HTML_STYLESHEET tag can be used to specify a user-defined cascading style
# sheet that is used by each HTML page. It can be used to fine-tune the look of
@@ -1135,7 +1135,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 = tools/ortools.css
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

8
tools/dotnet.doxy → tools/doc/dotnet.doxy
View File

@@ -1096,7 +1096,7 @@ HTML_FILE_EXTENSION = .html
# of the possible markers and block names see the documentation.
# This tag requires that the tag GENERATE_HTML is set to YES.
HTML_HEADER = tools/ortools.header.html
HTML_HEADER = tools/doc/ortools.header.html
# The HTML_FOOTER tag can be used to specify a user-defined HTML footer for each
# generated HTML page. If the tag is left blank doxygen will generate a standard
@@ -1106,7 +1106,7 @@ HTML_HEADER = tools/ortools.header.html
# that doxygen normally uses.
# This tag requires that the tag GENERATE_HTML is set to YES.
HTML_FOOTER = tools/ortools.footer.html
HTML_FOOTER = tools/doc/ortools.footer.html
# The HTML_STYLESHEET tag can be used to specify a user-defined cascading style
# sheet that is used by each HTML page. It can be used to fine-tune the look of
@@ -1118,7 +1118,7 @@ HTML_FOOTER = tools/ortools.footer.html
# obsolete.
# This tag requires that the tag GENERATE_HTML is set to YES.
HTML_STYLESHEET = tools/ortools.css
HTML_STYLESHEET = tools/doc/ortools.css
# The HTML_EXTRA_STYLESHEET tag can be used to specify additional user-defined
# cascading style sheets that are included after the standard style sheets
@@ -1131,7 +1131,7 @@ HTML_STYLESHEET = tools/ortools.css
# list). For an example see the documentation.
# This tag requires that the tag GENERATE_HTML is set to YES.
HTML_EXTRA_STYLESHEET = tools/ortools.css
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

0
tools/doxygen_filter.py → tools/doc/doxygen_filter.py
View File

8
tools/java.doxy → tools/doc/java.doxy
View File

@@ -1096,7 +1096,7 @@ HTML_FILE_EXTENSION = .html
# of the possible markers and block names see the documentation.
# This tag requires that the tag GENERATE_HTML is set to YES.
HTML_HEADER = tools/ortools.header.html
HTML_HEADER = tools/doc/ortools.header.html
# The HTML_FOOTER tag can be used to specify a user-defined HTML footer for each
# generated HTML page. If the tag is left blank doxygen will generate a standard
@@ -1106,7 +1106,7 @@ HTML_HEADER = tools/ortools.header.html
# that doxygen normally uses.
# This tag requires that the tag GENERATE_HTML is set to YES.
HTML_FOOTER = tools/ortools.footer.html
HTML_FOOTER = tools/doc/ortools.footer.html
# The HTML_STYLESHEET tag can be used to specify a user-defined cascading style
# sheet that is used by each HTML page. It can be used to fine-tune the look of
@@ -1118,7 +1118,7 @@ HTML_FOOTER = tools/ortools.footer.html
# obsolete.
# This tag requires that the tag GENERATE_HTML is set to YES.
HTML_STYLESHEET = tools/ortools.css
HTML_STYLESHEET = tools/doc/ortools.css
# The HTML_EXTRA_STYLESHEET tag can be used to specify additional user-defined
# cascading style sheets that are included after the standard style sheets
@@ -1131,7 +1131,7 @@ HTML_STYLESHEET = tools/ortools.css
# list). For an example see the documentation.
# This tag requires that the tag GENERATE_HTML is set to YES.
HTML_EXTRA_STYLESHEET = tools/ortools.css
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

0
tools/ortools.css → tools/doc/ortools.css
View File

0
tools/ortools.footer.html → tools/doc/ortools.footer.html
View File

0
tools/ortools.header.html → tools/doc/ortools.header.html
View File