replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

output 

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@402 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
This commit is contained in:
kroening 2011-08-16 16:56:21 +00:00
parent b2771e85a4
commit dd3b92fa88
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/doxygen.cfg
View File

@ -38,7 +38,7 @@ PROJECT_NUMBER =
# 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.
OUTPUT_DIRECTORY = doxy
OUTPUT_DIRECTORY = ../doc
# 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