diff options
Diffstat (limited to 'gnu-system.am')
| -rw-r--r-- | gnu-system.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu-system.am b/gnu-system.am index 3471e20c1d..fd4af6122c 100644 --- a/gnu-system.am +++ b/gnu-system.am @@ -376,6 +376,7 @@ dist_patch_DATA = \ gnu/packages/patches/superlu-dist-scotchmetis.patch \ gnu/packages/patches/tcsh-fix-autotest.patch \ gnu/packages/patches/teckit-cstdio.patch \ + gnu/packages/patches/texi2html-document-encoding.patch \ gnu/packages/patches/udev-gir-libtool.patch \ gnu/packages/patches/util-linux-perl.patch \ gnu/packages/patches/valgrind-glibc.patch \ |