projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3ff940e) | patch
docs: improve Doxygen documentation
authorBrian Norris <banorris@uci.edu>
Wed, 5 Jun 2013 02:06:35 +0000 (19:06 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 5 Jun 2013 02:06:35 +0000 (19:06 -0700)
commitc048e51dd194c09e76f6c1ec91b0e48a2a0f94d1
treedc8f3b4c40d1835d5e171d766aee7046c2c67b47tree | snapshot
parent3ff940ed5c20a17155bf998bd5aac8a735032c67commit | diff
docs: improve Doxygen documentation

* Fix the PROJECT_NAME title

* Add include/ to documentation

* Include our generated README.html as the main page in the docs

  - NOTE: Doxygen 1.8.0+ can directly generate documentation from the
    Markdown format (i.e., README.md). This may be useful in the future
    to get more integrated support, but for now, the
    separately-generated HTML is good enough
Doxyfile diff | blob | history
mainpage.dox [new file with mode: 0644] blob
C++11 memory model checker