From: Wolfgang Bangerth Date: Sat, 15 Jan 2011 20:46:38 +0000 (+0000) Subject: Create nodoc files completely without the doc/ directory. X-Git-Tag: v8.0.0~4485 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d844c4740155c182678c03280d29b91091cfc685;p=dealii.git Create nodoc files completely without the doc/ directory. git-svn-id: https://svn.dealii.org/trunk@23197 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/common/scripts/make_tarfile.sh b/deal.II/common/scripts/make_tarfile.sh index 7e7843c4b1..ca58cf837d 100755 --- a/deal.II/common/scripts/make_tarfile.sh +++ b/deal.II/common/scripts/make_tarfile.sh @@ -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