diff options
| author | Erich Eckner <git@eckner.net> | 2018-05-27 10:13:52 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-05-27 10:13:52 +0200 |
| commit | 14a8f5d3c7889f2046a008b1b1dc29f485ebb359 (patch) | |
| tree | 644ebb60f7155dd5c139d233857684fbcd8546e6 /manualPorts/wurzel-mp/post-install | |
| download | crux-ports-14a8f5d3c7889f2046a008b1b1dc29f485ebb359.tar.xz | |
initial commit
Diffstat (limited to 'manualPorts/wurzel-mp/post-install')
| -rwxr-xr-x | manualPorts/wurzel-mp/post-install | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/manualPorts/wurzel-mp/post-install b/manualPorts/wurzel-mp/post-install new file mode 100755 index 0000000..4204748 --- /dev/null +++ b/manualPorts/wurzel-mp/post-install @@ -0,0 +1,5 @@ +#/bin/sh + +TEXMFLOCAL="$(texconfig conf | grep TEXMFLOCAL | cut -f2 -d'=')" +echo "Rebuilding tex filename database" +texhash --quiet "${TEXMFLOCAL}" |