mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

[Doxygen] Fix bug where temporary directory and output directory

Browse source 
paths were not handled properly if paths contained spaces.
This commit is contained in:
Dan Liew 2017-04-25 13:17:21 +01:00
parent fa8f6f20a5
commit 09d7ebf1ad
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
doc/z3api.cfg.in
View file

@ -52,7 +52,7 @@ PROJECT_LOGO =
# If a relative path is entered, it will be relative to the location # If a relative path is entered, it will be relative to the location
# where doxygen was started. If left blank the current directory will be used. # where doxygen was started. If left blank the current directory will be used.
OUTPUT_DIRECTORY = @OUTPUT_DIRECTORY@ OUTPUT_DIRECTORY = "@OUTPUT_DIRECTORY@"
# If the CREATE_SUBDIRS tag is set to YES, then doxygen will create # If the CREATE_SUBDIRS tag is set to YES, then doxygen will create
# 4096 sub-directories (in 2 levels) under the output directory of each output # 4096 sub-directories (in 2 levels) under the output directory of each output
@ -681,7 +681,7 @@ WARN_LOGFILE =
# directories like "/usr/src/myproject". Separate the files or directories # directories like "/usr/src/myproject". Separate the files or directories
# with spaces. # with spaces.
INPUT = @TEMP_DIR@ \ INPUT = "@TEMP_DIR@" \
../src/api/c++ \ ../src/api/c++ \
@DOTNET_API_SEARCH_PATHS@ @JAVA_API_SEARCH_PATHS@ @DOTNET_API_SEARCH_PATHS@ @JAVA_API_SEARCH_PATHS@