From: Ben Pfaff <blp@gnu.org>
Date: Mon, 27 Nov 2006 01:09:45 +0000 (+0000)
Subject: Add note about Texinfo.
X-Git-Tag: v0.6.0~684
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=69e440eca02459a1c44a33d5bf5438dfbe56979d;hp=69e440eca02459a1c44a33d5bf5438dfbe56979d;p=pspp-builds.git

Add note about Texinfo.
---