diff options
| author |  Stephane Glondu <steph@glondu.net> | 2010-06-01 13:41:15 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2010-07-01 17:28:13 +0200 |
| commit | 7c9acaaecd06f9350b94b04b74106cd0a5f5de55 (patch) | |
| tree | 331baf3a6d424f5289086b550e5e86dd27fab398 /debian/rules | |
| parent | 83ff9e0c693ccc0a8123e8f7a0f45f6831a4b3c7 (diff) | |
Switch source package format to 3.0 (quilt)
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index 4f907015..997f99fe 100755 --- a/debian/rules +++ b/debian/rules @@ -35,7 +35,7 @@ export OCAMLINIT_SED += \ -e 's%@CoqVersion@%$(COQ_VERSION)%' \ -e 's%@CoqABI@%$(COQ_ABI)%' -DH := dh --with quilt,ocaml +DH := dh --with ocaml configure: configure-stamp configure-stamp: |