doc/Makedoc.sh: Make dvips honour /etc/papersize if letter. a4 otherwise.

Signed-off-by: default avatarAgustin Martin Domingo <agmartin@debian.org>
parent ceca9c23
......@@ -130,7 +130,14 @@ for docformat in ${BUILDDOC_FORMATS}; do
if [ -n "`which dvips`" ]; then
echo " + dvips" >&2
dvips -t letter -o ./guide.ps ./guide.dvi
DVIPS_PAPER="a4"
if [ -r /etc/papersize ]; then
TMP_PAPER=`head -n 1 /etc/papersize`
if [ "${TMP_PAPER}" = "letter" ]; then
DVIPS_PAPER="letter"
fi
fi
dvips -t ${DVIPS_PAPER} -o ./guide.ps ./guide.dvi
if [ -n "`which gzip`" -a -f ./guide.ps ]; then
gzip -fN ./guide.ps
fi
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment