summaryrefslogtreecommitdiff
blob: 4c7893e90c058159b1f2c06eb725364d5b02494d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
Add default disabled flag to enable generation of documentation.
For SeqAn 1.4.2 we generally do not want docs, as 1.4.2 is only a
support library for legacy tools.

--- seqan-1.4.2/CMakeLists.txt
+++ seqan-1.4.2/CMakeLists.txt
@@ -123,10 +123,12 @@
 add_subdirectory (core)
 message (STATUS "Configuring extras")
 add_subdirectory (extras)
+if (NOT SEQAN_NO_DOX)
 message (STATUS "Configuring docs")
 add_subdirectory (docs)
 message (STATUS "Configuring manual")
 add_subdirectory (manual)
+endif ()
 message (STATUS "Configuring sandbox")
 add_subdirectory (sandbox)
 message (STATUS "Configuring util/py_lib")
--- seqan-1.4.2/docs/main.py
+++ seqan-1.4.2/docs/main.py
@@ -123,7 +123,7 @@
 
         # Done, print end message.
         print 'Documentation created/updated.'
-        return dddoc_html.WARNING_COUNT > 0
+        return 0
     
     
 def main(argv):