X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Doxyfile;fp=Doxyfile;h=742c7299af18a9526cf82dab77660df1c878a105;hb=cf1bbeaa6a7bf2228101be7f0c5a588b67e12163;hp=ed9f000cc5697f6965288295c958f856821d2f0f;hpb=c758f1b28c3c5335ab80b9fd0699e0e6dd887f23;p=c11tester.git

diff --git a/Doxyfile b/Doxyfile
index ed9f000c..742c7299 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           = "CDSChecker: A Model Checker for C11/C++11 Atomics"
+PROJECT_NAME           = "C11Fuzzer: A Fuzzer for C11/C++11 Atomics"
 
 # The PROJECT_NUMBER tag can be used to enter a project or revision number.
 # This could be handy for archiving the generated documentation or