creation
authorDavid Arroyo Menéndez <davidam@es.gnu.org>
Sun, 21 Apr 2013 14:58:56 +0000 (16:58 +0200)
committerDavid Arroyo Menéndez <davidam@es.gnu.org>
Sun, 21 Apr 2013 14:58:56 +0000 (16:58 +0200)
orgguide/clean.sh [new file with mode: 0755]
orgguide/make.sh [new file with mode: 0755]

diff --git a/orgguide/clean.sh b/orgguide/clean.sh
new file mode 100755 (executable)
index 0000000..dae8d33
--- /dev/null
@@ -0,0 +1,3 @@
+#!/bin/bash 
+
+rm orgguide.es.pg orgguide.es.tp orgguide.es.ky orgguide.es.vr orgguide.es.cp orgguide.es.log orgguide.es.toc orgguide.es.fn orgguide.es.aux
diff --git a/orgguide/make.sh b/orgguide/make.sh
new file mode 100755 (executable)
index 0000000..68936d6
--- /dev/null
@@ -0,0 +1,4 @@
+#!/bin/bash 
+
+texi2html orgguide.es.texi
+pdftex orgguide.es.texi