#! /bin/sh /usr/share/dpatch/dpatch-run
## 01_always_install_polytable.dpatch by Arjan Oosting <arjan@debian.org>
##
## All lines beginning with `## DP:' are a description of the patch.
## DP: make sure we alway include polytable in the Debian package.

@DPATCH@
Index: lhs2tex-1.15/config.mk.in
===================================================================
--- lhs2tex-1.15.orig/config.mk.in	2009-12-18 13:21:18.000000000 +0100
+++ lhs2tex-1.15/config.mk.in	2010-03-25 12:16:17.000000000 +0100
@@ -41,6 +41,6 @@

 polydir         = @texmf@/tex/latex/polytable
 texdir          = @texmf@/tex/latex/lhs2tex
-INSTALL_POLYTABLE = @POLYTABLE_INSTALL@
+INSTALL_POLYTABLE = yes
 MKTEXLSR        = @MKTEXLSR@