diff options
Diffstat (limited to 'debian/patches/do-not-regenerate-version-txi.patch')
| -rw-r--r-- | debian/patches/do-not-regenerate-version-txi.patch | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/debian/patches/do-not-regenerate-version-txi.patch b/debian/patches/do-not-regenerate-version-txi.patch new file mode 100644 index 0000000..c1eb198 --- /dev/null +++ b/debian/patches/do-not-regenerate-version-txi.patch @@ -0,0 +1,16 @@ +From: Santiago Vila <sanvila@debian.org> +Subject: Do not regenerate version.txi just because Makefile was modified + +--- a/Makefile ++++ b/Makefile +@@ -206,8 +206,8 @@ + + ver = $(VERSION) + version.txi: Makefile +- echo @set SLIBVERSION $(ver) > version.txi +- echo @set SLIBDATE `date +"%B %Y"` >> version.txi ++ # echo @set SLIBVERSION $(ver) > version.txi ++ # echo @set SLIBDATE `date +"%B %Y"` >> version.txi + + scheme = scm + |