diff options
Diffstat (limited to 'debian/patches/0700-mk_reproducible_results.patch')
| -rw-r--r-- | debian/patches/0700-mk_reproducible_results.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/0700-mk_reproducible_results.patch b/debian/patches/0700-mk_reproducible_results.patch index 044e60f..1b61b49 100644 --- a/debian/patches/0700-mk_reproducible_results.patch +++ b/debian/patches/0700-mk_reproducible_results.patch @@ -105,7 +105,7 @@ Index: trunk/doc/Makefile.am =================================================================== --- trunk.orig/doc/Makefile.am +++ trunk/doc/Makefile.am -@@ -278,11 +278,11 @@ sane.ind: $(API_SPEC_INPUTS) +@@ -279,11 +279,11 @@ sane.ind: $(API_SPEC_INPUTS) sane.dvi: $(API_SPEC_INPUTS) $(API_SPEC_EPS_FIGS) sane.ind @echo Generating $@ from $<... |