From: Matthias Maier <tamiko@43-1.org>
Date: Wed, 13 May 2020 16:20:21 +0000 (-0500)
Subject: update release tasks
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2f52abfb984c76f4bbe3343203e0caecdf322d2b;p=release-papers.git

update release tasks
---

diff --git a/make_offline_doc.sh b/make_offline_doc.sh
deleted file mode 100755
index 129e88f..0000000
--- a/make_offline_doc.sh
+++ /dev/null
@@ -1,33 +0,0 @@
-#!/bin/bash
-
-if [ "$#" -ne 3 ]; then
-    echo "Offline documentation generator for deal.II"
-    echo "Usage:"
-    echo "  ./make_offline_doc.sh <major> <minor> <patch>"
-    echo "Execute in the base directory of a clean checkout for the release."
-    echo "For an RC use: './make_offline_doc.sh 8 3 0-rc1'"
-    exit 1
-fi
-
-MAJOR=$1
-MINOR=$2
-PATCH=$3
-
-echo release $MAJOR.$MINOR.$PATCH
-
-# Generate documentation
-rm -rf builddoc
-mkdir builddoc
-cd builddoc
-cmake -DDEAL_II_WITH_MPI=OFF -DCMAKE_BUILD_TYPE=Debug -DDEAL_II_COMPONENT_DOCUMENTATION=ON -DCMAKE_INSTALL_PREFIX=`pwd`/../installeddoc/ ../
-make documentation -j 8
-
-cd ../installeddoc
-
-cd doc/doxygen/deal.II
-../../../../contrib/utilities/makeofflinedoc.sh
-
-cd ../../..
-tar czf ../dealii-$MAJOR.$MINOR.$PATCH-offline_documentation.tar.gz doc
-cd ..
-
diff --git a/release-tasks b/release-tasks
index 7994ead..0c2b6d1 100644
--- a/release-tasks
+++ b/release-tasks
@@ -495,7 +495,7 @@ Thanks!
       * Generate and install the documentation from a clean working
         directory containing the tagged release and configure with:
 
-      cmake -DDOCUMENATION=ON -DDEAL_II_DOXYGEN_WITH_MATHJAX=ON -DDEAL_II_DOXYGEN_USE_ONLINE_MATHJAX=OFF -DCMAKE_INSTALL_PREFIX=<install>
+      cmake -DDOCUMENATION=ON -DDEAL_II_DOXYGEN_WITH_MATHJAX=ON -DDEAL_II_DOXYGEN_USE_ONLINE_MATHJAX=OFF -DDEAL_II_COMPILE_EXAMPLES=OFF -DCMAKE_INSTALL_PREFIX=<install>
 
       * generate and install the documentation and examples