added --disable-documentation mechanism

fixes bug #13

[[Imported from SVN: r257]]

configure.ac

@@ -28,6 +28,11 @@ AC_CHECK_PROGS([DVIPS], [dvips], [true])
 AC_CHECK_PROGS([WML], [wml], [true])
 DUNE_INKSCAPE
 
+# doxygen and latex take a lot of time...
+AC_ARG_ENABLE(documentation,
+   AC_HELP_STRING([--disable-documentation],[don't generate docs, speeds up the build]))
+AM_CONDITIONAL(BUILD_DOCS, test x$enable_documentation != xno)
+
 # special variable to include the documentation into the website
 AC_ARG_WITH(duneweb,
     AC_HELP_STRING([--with-duneweb=PATH],[Only needed for website-generation, path to checked out version of dune-web]))

doc/Makefile.am

@@ -5,7 +5,9 @@ EXTRA_DIST = Buildsystem
 
 SUBDIRS = devel appl doxygen layout istl
 
-PAGES = index.html
+if BUILD_DOCS
+ PAGES = index.html
+endif
 
 all: $(PAGES)
 

doc/doxygen/Makefile.am

@@ -4,7 +4,11 @@
 EXTRA_DIST = Doxyfile Doxydep \
   doxy-footer.html doxy-header.html dune-doxy.css mainpage
 
-all: doxygen-tag
+if BUILD_DOCS
+  WHAT = doxygen-tag
+endif
+
+all: $(WHAT)
 
 # setting like in dune-web
 CURDIR=doc/doxygen

doc/istl/Makefile.am

@@ -2,8 +2,11 @@
 
 SUBDIRS = comm
 
-dist_pkgdata_DATA = istl.pdf istl.ps
+if BUILD_DOCS
+  DOCS = istl.pdf istl.ps
+endif
 
+dist_pkgdata_DATA = $(DOCS)
 
 # rerun TEX if log-file suggests that
 .tex.dvi: