From: Wolfgang Bangerth Date: Thu, 15 Apr 1999 17:37:48 +0000 (+0000) Subject: Small script to process doc++'s latex output a bit. X-Git-Tag: v8.0.0~22126 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=639e15263c300c85b3cbb6786396608c6cf3ff94;p=dealii.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\}/); +}