Help text style guide: Difference between revisions

→‎TexInfo: improve external link: the new link allows user to choose from single-page manual and one-page-per-node manual (and even more); HTTPS is more secure
(import text from the manual about how to write help text)
(→‎TexInfo: improve external link: the new link allows user to choose from single-page manual and one-page-per-node manual (and even more); HTTPS is more secure)
Line 110: Line 110:


== TexInfo ==
== TexInfo ==
This is the preferred format for help text. There is also a comprehensive [http://www.gnu.org/software/texinfo/manual/texinfo/html_node/index.html TexInfo manual].
This is the preferred format for help text. There is also a comprehensive [https://www.gnu.org/software/texinfo/manual/texinfo/ TexInfo manual].


=== Examples ===
=== Examples ===