David Arroyo Menéndez 6 years ago
parent
commit
c91cefbc0b
2 changed files with 7 additions and 0 deletions
  1. 3 0
      orgguide/clean.sh
  2. 4 0
      orgguide/make.sh

+ 3 - 0
orgguide/clean.sh

@@ -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

+ 4 - 0
orgguide/make.sh

@@ -0,0 +1,4 @@
+#!/bin/bash 
+
+texi2html orgguide.es.texi
+pdftex orgguide.es.texi