[manual: Generate a qthelp collection file.
Petr Rockai <me@mornfall.net>**20130915212918
 Ignore-this: 1a748ccd6951ede47a698bef6da26a86
] hunk ./manual/CMakeLists.txt 16
+if( GUI )
+    add_custom_command(OUTPUT divine.qhc manual.qch
+                       COMMAND cp ${CMAKE_CURRENT_SOURCE_DIR}/{divine.qhcp,manual.qhp,about.txt} .
+                       COMMAND ${QT_QCOLLECTIONGENERATOR_EXECUTABLE} divine.qhcp
+                       DEPENDS manual.html ${CMAKE_CURRENT_SOURCE_DIR}/divine.qhcp
+                               ${CMAKE_CURRENT_SOURCE_DIR}/manual.qhp )
+  set( QTHELP "divine.qhc;manual.qch" )
+endif()
+
hunk ./manual/CMakeLists.txt 39
-add_custom_target( manual ALL DEPENDS ${PDFMAN} manual.html divine.1 )
+add_custom_target( manual ALL DEPENDS ${PDFMAN} ${QTHELP} manual.html divine.1 )
addfile ./manual/about.txt
hunk ./manual/about.txt 1
+DIVINE is a general-purpose model checker. See <a
+href=\"http://divine.fi.muni.cz\">http://divine.fi.muni.cz</a> for more
+details about the project.
+
+(c) 2008-2013 ParaDiSe Laboratory
addfile ./manual/divine.qhcp
hunk ./manual/divine.qhcp 1
+<?xml version="1.0" encoding="utf-8" ?>
+<QHelpCollectionProject version="1.0">
+  <assistant>
+    <title>DiVinE Help</title>
+    <startPage>qthelp://divine/manual/manual.html</startPage>
+    <homePage>qthelp://divine/manual/manual.html</homePage>
+    <aboutDialog>
+      <file>about.txt</file>
+    </aboutDialog>
+  </assistant>
+
+  <docFiles>
+    <generate>
+      <file>
+        <input>manual.qhp</input>
+        <output>manual.qch</output>
+      </file>
+    </generate>
+    <register>
+      <file>manual.qch</file>
+    </register>
+  </docFiles>
+</QHelpCollectionProject>
addfile ./manual/manual.qhp
hunk ./manual/manual.qhp 1
+<?xml version="1.0" encoding="utf-8"?>
+<QtHelpProject version="1.0">
+  <namespace>divine</namespace>
+  <virtualFolder>manual</virtualFolder>
+  <customFilter name="DiVinE">
+    <filterAttribute>divine</filterAttribute>
+  </customFilter>
+  <filterSection>
+    <filterAttribute>divine</filterAttribute>
+    <toc>
+      <section title="Introduction" ref="manual.html#introduction"/>
+      <section title="Installation" ref="manual.html#installation"/>
+      <section title="Using the DiVinE commandline interface" ref="manual.html#using-the-divine-commandline-interface"/>
+    </toc>
+    <keywords>
+<!--      <keyword name="foo" id="MyApplication::foo" ref="doc.html#foo"/>
+      <keyword name="bar" ref="doc.html#bar"/>
+      <keyword id="MyApplication::foobar" ref="doc.html#foobar"/>-->
+    </keywords>
+    <files>
+      <file>manual.html</file>
+    </files>
+  </filterSection>
+</QtHelpProject>