update release tasks

diff --git a/make_offline_doc.sh b/make_offline_doc.sh
deleted file mode 100755 (executable)
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 7994ead8d91b325c6d7539e83280b5e3c42d5c93..0c2b6d18513bba10c78c0d8d0e0a99d2c3120502 100644 (file)
--- 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