manual.texi @code{.ext} rather than @file{.ext} so they're manual.texi all consistent.
Attach a file by drag & drop or click to upload
paul@teton.kitebird.com authored