colobot/colobot — pull request #96 by OdyX (2012-12-17 21:16:33+00:00)
Title: Allow building and installation of documentation

Run `make doc` for the building. Then `make install` will install the
generated documentation.

- Move Doxyfile to Doxyfile.in, put CMAKE_CURRENT_SOURCE_DIR into it.