manual.texi Fix filename extensions that were written using
manual.texi @code{.ext} rather than @file{.ext} so they're manual.texi all consistent.
Showing
Please register or sign in to comment
manual.texi @code{.ext} rather than @file{.ext} so they're manual.texi all consistent.