On Sun, Jun 03, 2007 at 08:31:23AM -0700, Ben Pfaff wrote:
> In so far as these patches go, the only concern I have is removing the
> next/prev/up pointers from the documentation. It will make the manual
> harder to navigate.
Removing the pointers from the documentation has no effect on the
.info file, because the makeinfo program is smart enough to
reconstruct the pointers. Really? It certainly never used to. It must be a recent feature. Presumably it will do the same when using makeinfo to generate html files? -- PGP Public key ID: 1024D/2DE827B3 fingerprint = 8797 A26D 0854 2EAB 0285 A290 8A67 719C 2DE8 27B3 See http://pgp.mit.edu or any PGP keyserver for public key.
signature.asc
Description: Digital signature
_______________________________________________ pspp-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/pspp-dev
