manual.texi modify a few @xref{}s. manual.texi missing @code{}.
Attach a file by drag & drop or click to upload
paul@teton.kitebird.com authored