summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2017-07-12 11:55:47 +0900
committerNorbert Preining <norbert@preining.info>2017-07-12 11:55:47 +0900
commit7bd6e7dcd8108c4fe77859c5c2e622dfb46a6e71 (patch)
treee61ac7b1623cc31789b70d61b8befb4ecbb7a303
parent58307ecfd762db004d367cb31109ca03965ea0d7 (diff)
management scripts update
-rwxr-xr-xadd-package6
-rw-r--r--ctan2tds-config.pl10
-rwxr-xr-x[-rw-r--r--]update.sh0
3 files changed, 16 insertions, 0 deletions
diff --git a/add-package b/add-package
new file mode 100755
index 00000000..1ab371d3
--- /dev/null
+++ b/add-package
@@ -0,0 +1,6 @@
+
+CTAN2TDS_CONFIG=`pwd`/ctan2tds-config.pl
+export CTAN2TDS_CONFIG
+
+ctan2tl --contrib $*
+
diff --git a/ctan2tds-config.pl b/ctan2tds-config.pl
new file mode 100644
index 00000000..fb676314
--- /dev/null
+++ b/ctan2tds-config.pl
@@ -0,0 +1,10 @@
+
+$special{'acmtrans'} = '&MAKEflatten';
+$special{'adobecaslon'} = '&MAKEflatten';
+$special{'comicsans'} = '&MAKEflatten';
+$special{'chemsym'} = '&MAKEflatten';
+$special{'imprintmtshadow'} = '&donormal';
+$special{'lsabon'} = '&donormal';
+$special{'ptmsc'} = '&donormal';
+$special{'thsmc'} = '&donormal';
+$special{'verdana'} = '&donormal';
diff --git a/update.sh b/update.sh
index 7b0fd81c..7b0fd81c 100644..100755
--- a/update.sh
+++ b/update.sh