Crude workaround for the fact that debian wants to compress fonts used by the manual

This commit is contained in:
Stephen Boddy 2015-08-23 01:33:41 +02:00
parent 2a0e56edfa
commit 14b66df465

View File

@ -8,4 +8,10 @@ if [ "$1" = "configure" ]; then
x-terminal-emulator.1.gz /usr/share/man/man1/terminator.1.gz
fi
for dname in `find /usr/share/doc/terminator/html*/_static/fonts/ -type d` /usr/share/doc/terminator/apidoc/_static/fonts/; do
if [ -d ${dname} ]; then
gunzip -f ${dname}/*.gz
fi
done
#DEBHELPER#