Merge branch 'FREESIDE_3_BRANCH' of git.freeside.biz:/home/git/freeside into FREESIDE...
[freeside.git] / debian / freeside-lib.postinst
1 #!/bin/sh
2
3 texhash /usr/local/share/texmf
4