Teach makeinfo about --no-version-header to support the line
commit29b584386ce04811af43dca84c996dc608999bdf
authorJoerg Sonnenberger <joerg@NetBSD.org>
Sat, 28 Feb 2009 19:14:15 +0000 (28 19:14 +0000)
committerJoerg Sonnenberger <joerg@NetBSD.org>
Sat, 28 Feb 2009 19:14:15 +0000 (28 19:14 +0000)
treea38f95ec3f689385975d97c1fb9d33d5cac3465b
parent06780800983413b20a40ecd45f5f93b70bb6418f
Teach makeinfo about --no-version-header to support the line
This is <info> producted by <version> from <source>
which leaks the full build prefix.
gnu/dist/texinfo/doc/makeinfo.1
gnu/dist/texinfo/makeinfo/makeinfo.c
gnu/dist/texinfo/makeinfo/makeinfo.h