X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=Doxyfile;h=bb09915399dea5da3bddc8549e65c516a3babbc3;hb=f68607f6e3965c11ad6d870fddf2f0b62cace193;hp=a6001c39d78c83ce618aaa55c4d936e55c1a23e6;hpb=857205edf46f2daefe0b6e471b902fcfd9c67df2;p=c11tester.git

diff --git a/Doxyfile b/Doxyfile
index a6001c39..bb099153 100644
--- a/Doxyfile
+++ b/Doxyfile
@@ -26,7 +26,7 @@ DOXYFILE_ENCODING      = UTF-8
 # identify the project. Note that if you do not use Doxywizard you need
 # to put quotes around the project name if it contains spaces.
 
-PROJECT_NAME           = "My Project"
+PROJECT_NAME           = "Model Checker"
 
 # The PROJECT_NUMBER tag can be used to enter a project or revision number.
 # This could be handy for archiving the generated documentation or
@@ -52,7 +52,7 @@ PROJECT_LOGO           =
 # 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       =
+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