From 439923532da63b64b29bedf3881f3621875eddb8 Mon Sep 17 00:00:00 2001 From: bangerth Date: Sat, 15 Jan 2011 20:46:38 +0000 Subject: [PATCH] Create nodoc files completely without the doc/ directory. git-svn-id: https://svn.dealii.org/trunk@23197 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/common/scripts/make_tarfile.sh | 11 +---------- 1 file changed, 1 insertion(+), 10 deletions(-) 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 -- 2.39.5