summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorp4bl0 <r _at_ uzy .dot. me>2017-07-19 09:34:09 (CEST)
committerp4bl0 <r _at_ uzy .dot. me>2017-07-19 09:34:09 (CEST)
commit381206b304ae5254cd1dff1ffed3d74c3223212d (patch)
treebc2c21d5e64f4d730d4876aaf74f4d9a58bb64e7
parent902f18cf6352cda682455db8e21bc56f93c98734 (diff)
downloadmyutils-381206b304ae5254cd1dff1ffed3d74c3223212d.zip
myutils-381206b304ae5254cd1dff1ffed3d74c3223212d.tar.gz
no need for that anymore
-rwxr-xr-xrubberENONCE35
-rwxr-xr-xrubberPRINT30
2 files changed, 0 insertions, 65 deletions
diff --git a/rubberENONCE b/rubberENONCE
deleted file mode 100755
index c5a7526..0000000
--- a/rubberENONCE
+++ /dev/null
@@ -1,35 +0,0 @@
-#!/bin/bash
-
-if [ x"$1" = "x--clean" ]; then
- CLEAN="--clean"
- shift
-fi
-
-NAME="$1"
-TEX="$NAME".tex
-CORRECTION="$NAME"-correction
-ENONCE="$NAME"-enonce
-if [ ! -f "$CORRECTION".tex ]; then
- echo '% rubber: depend '$TEX > $CORRECTION.tex
- echo '\input{'$TEX'}' >> $CORRECTION.tex
-fi
-if [ ! -f "$ENONCE".tex ]; then
- echo '% rubber: depend '$TEX > $ENONCE.tex
- echo '\def\ENONCE{}\input{'$TEX'}' >> $ENONCE.tex
-fi
-
-echo '> Generating énoncé…'
-rubber $CLEAN --pdf "$ENONCE"
-
-if [ "$?" != "0" ]; then
- echo '> Error'
- exit $?
-fi
-
-echo '> Generating correction…'
-rubber $CLEAN --pdf "$CORRECTION"
-if [ "$CLEAN" = "" ]; then
- mv "$CORRECTION".pdf $$.pdf
- pdftk $$.pdf output "$CORRECTION".pdf owner_pw enseignanT user_pw Enseignant
- rm $$.pdf
-fi
diff --git a/rubberPRINT b/rubberPRINT
deleted file mode 100755
index 750290f..0000000
--- a/rubberPRINT
+++ /dev/null
@@ -1,30 +0,0 @@
-#!/bin/bash
-
-if [ x"$1" = "x--clean" ]; then
- CLEAN="--clean"
- shift
-fi
-
-NAME="$1"
-TEX="$NAME".tex
-SLIDES="$NAME"-slides
-PRINT="$NAME"-print
-if [ ! -f "$PRINT".tex ]; then
- echo '% rubber: depend '$TEX > $PRINT.tex
- echo '\def\PRINT{}\input{'$TEX'}' >> $PRINT.tex
-fi
-if [ ! -f "$SLIDES".tex ]; then
- echo '% rubber: depend '$TEX > $SLIDES.tex
- echo '\input{'$TEX'}' >> $SLIDES.tex
-fi
-
-echo '> Generating slides…'
-rubber $CLEAN --pdf "$SLIDES"
-
-if [ "$?" != "0" ]; then
- echo '> Error'
- exit $?
-fi
-
-echo '> Generating print…'
-rubber $CLEAN --pdf "$PRINT"
Pablo Rauzy — generated by cgit