From 64d4a62dc36ae27d112e8d42c2e52aedfe5f5e87 Mon Sep 17 00:00:00 2001 From: wolf Date: Thu, 15 Apr 1999 17:37:48 +0000 Subject: [PATCH] Small script to process doc++'s latex output a bit. git-svn-id: https://svn.dealii.org/trunk@1156 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/doc/auto/scripts/process-tex | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 deal.II/doc/auto/scripts/process-tex 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\}/); +} -- 2.39.5