Automake does not allow two independent

texi sources to include the same file (version.texi, in this
case). What a stupid lossage! However it handles all files whose
name matches "vers*.texi" as version.texi, which allows to
override the bug: include vers-muint.texi instead of version.texi.

@@ -6,7 +6,7 @@
 @finalout
 @c %**end of header
 
-@include version.texi
+@include vers-muint.texi
 
 @ifinfo
 @dircategory GNU libraries