]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Create nodoc files completely without the doc/ directory.
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Sat, 15 Jan 2011 20:46:38 +0000 (20:46 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Sat, 15 Jan 2011 20:46:38 +0000 (20:46 +0000)
git-svn-id: https://svn.dealii.org/trunk@23197 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/common/scripts/make_tarfile.sh

index 7e7843c4b1464cdb94ead5bd42b6b1c067bef48c..ca58cf837d2513fcb37012536af1b7fb7c0350ef 100755 (executable)
@@ -1,7 +1,7 @@
 ######################################################################
 # creates both tar files (source and documentation). call this script
 # in an otherwise empty directory as follows:
-# 
+#
 #   bash make_tarfile.sh 6 0 0
 #
 # to generate the tar files for release 6.0.0
@@ -21,16 +21,7 @@ tar czf deal.II-$MAJOR.$MINOR.$PATCH.tar.gz deal.II
 # Generate stripped tarfile
 
 mv deal.II/doc deal.II/examples .
-cd deal.II
-mkdir doc
-cd doc
-touch Makefile.in
-mkdir doxygen
-cd doxygen
-touch Makefile.in options.dox.in options.136.in header.html.in header.136.in header.tex.in
-cd ../../..
 tar czf deal.nodoc-$MAJOR.$MINOR.$PATCH.tar.gz deal.II
-rm -rf deal.II/doc
 mv doc examples deal.II
 
 # Generate documentation

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.