some tweaks to make it work… somewhat?
authormirabilos <m@mirbsd.org>
Mon, 9 Jan 2017 22:34:32 +0000 (23:34 +0100)
committermirabilos <m@mirbsd.org>
Mon, 9 Jan 2017 22:34:32 +0000 (23:34 +0100)
debian/rules

index 3732447..1cd5783 100755 (executable)
@@ -99,9 +99,10 @@ debian/.configure_stamp:
        cd debian/builddir && \
            env ${CONFIGURE_ENV} sh ../../configure ${CONFIGURE_ARGS}
        # generate PDF 1.4 by default
+       ln -s ../../../build-aux/texinfo.tex debian/builddir/doc/texinfo-r.tex
        printf '%s\n' \
            '\pdfminorversion4\relax\pdfobjcompresslevel0\relax%' \
-           '\input texinfo.tex%' \
+           '\input texinfo-r.tex' \
            >debian/builddir/doc/texinfo.tex
        @:>$@