wurzel-old/wurzel-old


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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 "$@"
}