Changes

19 bytes removed ,  23:12, 4 February 2017
→‎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 ===