1 files changed, 19 insertions, 0 deletions
diff --git a/wurzel-misc/wurzel-misc b/wurzel-misc/wurzel-misc
new file mode 100644
index 00000000..453ee4c9
--- /dev/null
+++ b/wurzel-misc/wurzel-misc
@@ -0,0 +1,19 @@
+#!/bin/sh
+
+_refresh() {
+  TEXMFLOCAL="$(texconfig conf | grep TEXMFLOCAL | cut -f2 -d'=' | sed 's|^.*:||')"
+  echo "Rebuilding tex filename database"
+  texhash --quiet "${TEXMFLOCAL}"
+}
+
+post_install() {
+  _refresh "$@"
+}
+
+post_upgrade() {
+  _refresh "$@"
+}
+
+post_remove() {
+  _refresh "$@"
+}