diff --git a/srcpkgs/texinfo/update b/srcpkgs/texinfo/update new file mode 100644 index 0000000000..201efa55e5 --- /dev/null +++ b/srcpkgs/texinfo/update @@ -0,0 +1 @@ +ignore="37"