diff options
Diffstat (limited to 'site')
| -rw-r--r-- | site/gnu/index.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/site/gnu/index.php b/site/gnu/index.php index 99b7e1d..7ec6f61 100644 --- a/site/gnu/index.php +++ b/site/gnu/index.php @@ -62,9 +62,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 <em>Texinfo mode</em>. 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> + <li>GNU Emacs has decent integration for editing Texinfo documents. See <em>Texinfo mode</em>. + However, any text editor should be fine (the lead developer of libreboot is actually interested + in vim)</li> <li> i18n should be implemented from the start, so that we can start maintaining versions of the documentation in non-English languages. GNU Gettext can be used for this |