Subject: Documenting options in man pages
To: None <firstname.lastname@example.org>
From: Thomas Klausner <email@example.com>
Date: 09/28/2002 01:31:43
Prompted by some PRs by Julio Merino, I started adding options lines
to man pages (see e.g. my recent ppp(4) commit); during that I noticed
that they are also in options(4).
Documenting twice seems like a bit of a waste -- should we (=I, I
guess) move the options that are for specific devices or
pseudo-devices to the corresponding man pages and leave options(4) for
the ones that don't have a device; or leave them only in options(4) (I
don't think that's a good idea); or have them in both?
At the moment I think the first is the best solution -- any
disagreeing voices, at best with arguments?
Thomas Klausner - firstname.lastname@example.org
Main Rule of Usenet: Never argue with idiots. They drag you down to
their level, then beat you with experience.