Mike Gerwitz

Activist for User Freedom

aboutsummaryrefslogtreecommitdiffstats
path: root/tools
diff options
context:
space:
mode:
authorMike Gerwitz <mike@mikegerwitz.com>2013-06-03 22:28:55 -0400
committerMike Gerwitz <mike@mikegerwitz.com>2013-06-03 22:29:59 -0400
commite981ac9c71b4357a877a0e1d7ac87b44324ac814 (patch)
tree2e848043e933373543907cc61f83ff148b1ae007 /tools
parente24910415fb2c8dc4ff1ce26358766ebdbc92e80 (diff)
downloadthoughts-e981ac9c71b4357a877a0e1d7ac87b44324ac814.tar.gz
thoughts-e981ac9c71b4357a877a0e1d7ac87b44324ac814.tar.bz2
thoughts-e981ac9c71b4357a877a0e1d7ac87b44324ac814.zip
Added tex documents to build process
Diffstat (limited to 'tools')
-rwxr-xr-xtools/texdoc39
1 files changed, 39 insertions, 0 deletions
diff --git a/tools/texdoc b/tools/texdoc
new file mode 100755
index 0000000..33274dc
--- /dev/null
+++ b/tools/texdoc
@@ -0,0 +1,39 @@
+#!/bin/bash
+#
+# Generates HTML page for a paper written with TeX
+#
+# Copyright (C) 2013 Mike Gerwitz
+#
+# This program is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program. If not, see <http://www.gnu.org/licenses/>.
+##
+
+path="${1%/}"
+abstract="$path/abstract.tex"
+main="$path/${path##*/}.tex"
+base="$( basename "$path" )"
+
+# grab the title from the first line of the main source file
+head -n1 "$main" | sed '1s/^% //;1a\\'
+(
+ tr '\n' ' ' \
+ | sed 's/\\[^ ]\+\({[^}]\+}\)\?//g;$a\\'
+
+ # all articles should provide PDF and DVI
+ cat <<EOF
+**Download:** [PDF][0] or [DVI][1]
+
+[0] $url_root/${path#*/}/$base.pdf
+[1] $url_root/${path#*/}/$base.dvi
+EOF
+) < "$abstract"