log

age author description
Thu, 09 Jul 2009 03:07:16 +0000 Glenn Morris (texinfodir): Rename from usermanualdir, and update.
Thu, 09 Jul 2009 03:07:01 +0000 Glenn Morris Minor rearrangements to improve TeX line-filling.
Thu, 09 Jul 2009 03:06:36 +0000 Glenn Morris Dont't hard-code texinfo location.
Thu, 09 Jul 2009 03:06:24 +0000 Glenn Morris (Using Interactive): Fix cross-reference.
Thu, 09 Jul 2009 03:06:12 +0000 Glenn Morris Minor rearrangements to improve TeX line-filling.
Thu, 09 Jul 2009 03:05:59 +0000 Glenn Morris Use a DATE variable with the publication date, and update it.