diff options
| author | Mark Wells <mark@freeside.biz> | 2015-07-02 17:27:18 -0700 |
|---|---|---|
| committer | Mark Wells <mark@freeside.biz> | 2015-07-02 19:52:19 -0700 |
| commit | 1cfaa817b9cfb0a3d628c571e4505b5e0c4e9954 (patch) | |
| tree | 67cfb669f4685638c8cb13f98f27123135795148 /debian/freeside-lib.postinst | |
| parent | b3a3e87627ab27c0b2c96c0242a6405864eee365 (diff) | |
add tex style to debian/rules
Diffstat (limited to 'debian/freeside-lib.postinst')
| -rw-r--r-- | debian/freeside-lib.postinst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/debian/freeside-lib.postinst b/debian/freeside-lib.postinst new file mode 100644 index 000000000..870ad315f --- /dev/null +++ b/debian/freeside-lib.postinst @@ -0,0 +1,4 @@ +#!/bin/sh + +texhash /usr/local/share/texmf + |