]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Small script to process doc++'s latex output a bit.
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 15 Apr 1999 17:37:48 +0000 (17:37 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 15 Apr 1999 17:37:48 +0000 (17:37 +0000)
git-svn-id: https://svn.dealii.org/trunk@1156 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/auto/scripts/process-tex [new file with mode: 0644]

diff --git a/deal.II/doc/auto/scripts/process-tex b/deal.II/doc/auto/scripts/process-tex
new file mode 100644 (file)
index 0000000..0555338
--- /dev/null
@@ -0,0 +1,10 @@
+while (<>) {
+    goto END_HEADER  if /begin.document./;
+}
+
+
+END_HEADER:
+
+while (<>) {
+    print unless (/end\{document\}/);
+}

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.