[latexrefman] @file or @code for package names

[Vincent Belaïche]

What about having a one-arg macro @package, so we can give a specific
definiton for HTML or TeX output if we whish some day… ? Also,
incidentally, this would make the Texinfo source more maintainable.

  V.

Le dim. 15 août 2021 à 23:20, Karl Berry <karl at freefriends.org> a écrit :
>
>     We use both, and Karl changed some @file to @code in revision 914.
>     What is our _official_ way ?
>
> There is no official way.
>
> My idea was that @code makes more sense because a package name, say
> geometry, is not a file. geometry.sty is a file.
>
> All those different markup commands (@env, @option, etc.) make no
> practical difference, so it's not worth worrying about, IMHO. -k