diff options
| -rw-r--r-- | site/git/index.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/site/git/index.php b/site/git/index.php index 7219d0f..3f0e3f2 100644 --- a/site/git/index.php +++ b/site/git/index.php @@ -102,6 +102,10 @@ When submitting any kind of documentation, please try not to use the terms him/her, she/he, his/her. Use their, they, them, those people, that person, and so on. You are making a huge difference. </p> + <p> + Small technical note: libreboot is planning to convert all documentation to <i>texinfo</i>, where + it is currently written in HTML, directly. Therefore, please submit any new documentation under this format, during the transition period. + </p> </div> |