DEJAGNU-HELP(1)

💖 DEJAGNU-HELP 💖

okay so bestie, welcome to the DejaGnu manual page for dejagnu help — it lives in the LOCAL manual, and honestly? it's giving "small but mighty" 💅

✨ NAME ✨

dejagnu help — display manual pages for DejaGnu auxiliary commands 🎀

🦋 SYNOPSIS 🦋

dejagnu help [options...] ⟨command⟩

🌸 DESCRIPTION 🌸

The dejagnu help command displays long-form documentation for DejaGnu auxiliary commands. that's it, that's the whole vibe — you want the full tea on an auxiliary command, this is who you call 🫶

👑 OPTIONS 👑

• -v, --verbose — emit additional output describing the operation of dejagnu help itself. like, it narrates its own little life. iconic behavior honestly ✨
• -w, --path — this option is simply passed on to man. no thoughts, just vibes, straight through 💫
• -W — this option is simply passed on to man. same energy, different flag 🎀

🍓 FILES 🍓

The dejagnu help command checks for man pages in a doc/ directory next to the commands/ directory where this script is located. If the page is found there, a full file name is given to man. Otherwise, only the command name is given and the search described in man(1) is performed.

so basically: it looks in its own little neighborhood first (doc/ right next to commands/) and if your page is chilling there, it hands man the full path like "here bestie, I got it for you" 🥰. if not? it just passes along the bare command name and lets man(1) do its whole search thing. lowkey teamwork fr fr.

🔥 SEE ALSO 🔥

• man(1)

💜 AUTHORS 💜

Jacob Bachmeyer 👑

💀 BUGS 💀

Currently only supports man pages.

not me being limited to just man pages 😭 it's a whole thing. we're working on it (we are not, but the energy is there).

this page came from the GNU crew, dated December 19, 2018, and it's filed as DEJAGNU-HELP(1). ok bye ily, go read your man pages 💖🌈✨