https://sourceware.org/bugzilla/show_bug.cgi?id=29465
--- Comment #1 from Ruud van der Pas <ruud.vanderpas at oracle dot com> --- After exploring several alternatives, it was decided to no longer dynamically generate file version.texi. Instead, the information in version.texi will be updated as part of a patch for the documentation. -- You are receiving this mail because: You are on the CC list for the bug.
