From: wolf Date: Thu, 15 Apr 1999 17:37:48 +0000 (+0000) Subject: Small script to process doc++'s latex output a bit. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=64d4a62dc36ae27d112e8d42c2e52aedfe5f5e87;p=dealii-svn.git Small script to process doc++'s latex output a bit. git-svn-id: https://svn.dealii.org/trunk@1156 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/auto/scripts/process-tex b/deal.II/doc/auto/scripts/process-tex new file mode 100644 index 0000000000..0555338d5f --- /dev/null +++ b/deal.II/doc/auto/scripts/process-tex @@ -0,0 +1,10 @@ +while (<>) { + goto END_HEADER if /begin.document./; +} + + +END_HEADER: + +while (<>) { + print unless (/end\{document\}/); +}