From f36b3f9b3e18f49b640064af67b31797d4a3612b Mon Sep 17 00:00:00 2001 From: Niels Sascha Reedijk Date: Mon, 8 Dec 2014 22:10:26 +0100 Subject: [PATCH] Generate the Makefile for making docsets. Docset is an increasingly popular format that is used to generate an index for HTML documentation that can be viewed by specialized viewers such as Dash (on the Mac). The output can only be generated on a Mac currently. Enabling the DOCSET parameter will generate a Makefile in the html output directory, which can be used to generate the Docset itself. Enabling the Docset Makefile does not negatively impact other things, as such it seems safe to just enable it for whoever wants to build the docset on a mac. --- docs/user/Doxyfile | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/docs/user/Doxyfile b/docs/user/Doxyfile index e8b2a84022..091a662ffe 100644 --- a/docs/user/Doxyfile +++ b/docs/user/Doxyfile @@ -990,31 +990,31 @@ HTML_DYNAMIC_SECTIONS = NO # See http://developer.apple.com/tools/creatingdocsetswithdoxygen.html # for more information. -GENERATE_DOCSET = NO +GENERATE_DOCSET = YES # When GENERATE_DOCSET tag is set to YES, this tag determines the name of the # feed. A documentation feed provides an umbrella under which multiple # documentation sets from a single provider (such as a company or product suite) # can be grouped. -DOCSET_FEEDNAME = "Doxygen generated docs" +DOCSET_FEEDNAME = "The Haiku Book" # When GENERATE_DOCSET tag is set to YES, this tag specifies a string that # should uniquely identify the documentation set bundle. This should be a # reverse domain-name style string, e.g. com.mycompany.MyDocSet. Doxygen # will append .docset to the name. -DOCSET_BUNDLE_ID = org.doxygen.Project +DOCSET_BUNDLE_ID = org.haiku.HaikuBook # When GENERATE_PUBLISHER_ID tag specifies a string that should uniquely identify # the documentation publisher. This should be a reverse domain-name style # string, e.g. com.mycompany.MyDocSet.documentation. -DOCSET_PUBLISHER_ID = org.doxygen.Publisher +DOCSET_PUBLISHER_ID = org.haiku.ApiDocumentation # The GENERATE_PUBLISHER_NAME tag identifies the documentation publisher. -DOCSET_PUBLISHER_NAME = Publisher +DOCSET_PUBLISHER_NAME = Haiku # If the GENERATE_HTMLHELP tag is set to YES, additional index files # will be generated that can be used as input for tools like the