diff man/texinfo/version.texi @ 5507:64be8a494bdc

Backed out changeset a7da359711ce, restoring Ben's GPLv3 manual changes.
author Aidan Kehoe <kehoea@parhasard.net>
date Mon, 09 May 2011 19:38:01 +0100
parents e82f5b7010fe
children 9fae6227ede5
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/man/texinfo/version.texi	Mon May 09 19:38:01 2011 +0100
@@ -0,0 +1,6 @@
+@c Synced up with: Texinfo 4.13 of September 18 2008.
+@c Synced by: Ben Wing, 2-17-10.
+@set UPDATED 18 September 2008
+@set UPDATED-MONTH September 2008
+@set EDITION 4.13
+@set VERSION 4.13