1
#! /bin/sh /usr/share/dpatch/dpatch-run
2
## config_makefile.dpatch by Samuel Mimram <smimram@debian.org>
4
## All lines beginning with `## DP:' are a description of the patch.
5
## DP: Use a custom configuration for the Makefile.
8
diff -urNad coq-doc-8.0pl3+8.1alpha~/Makefile coq-doc-8.0pl3+8.1alpha/Makefile
9
--- coq-doc-8.0pl3+8.1alpha~/Makefile 2006-04-28 18:50:58.000000000 +0200
10
+++ coq-doc-8.0pl3+8.1alpha/Makefile 2006-04-28 19:10:54.000000000 +0200
13
# Html: hevea (http://hevea.inria.fr) >= 1.05
15
-include ../config/Makefile
16
+include debian/Makefile.config