fix coverage map display when there are no services, #73972
[freeside.git] / debian / freeside-lib.postinst
1 #!/bin/sh
2
3 texhash /usr/local/share/texmf
4