diff options
Diffstat (limited to 'site/gnu/index.php')
-rw-r--r-- | site/gnu/index.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/site/gnu/index.php b/site/gnu/index.php index b75b324..ef5810e 100644 --- a/site/gnu/index.php +++ b/site/gnu/index.php @@ -64,6 +64,9 @@ that are not in texinfo format. <ul> <li>Texinfo is the official documentation format, for all GNU software.</li> + <li>GNU Emacs has decent integration for editing Texinfo documents. See <i>Texinfo mode</i>. We should promote use of Emacs + (the lead develop of libreboot is attempting to learn it). It's also very useful in general. We could document it to a limited + extent, with quick tips, cheat sheets and links to more guides on other sites.</li> </ul> </li> <li> |