0001-Make-the-choice-of-dvips-or-pdftex-optional-conditio.patch
