diff options
| -rw-r--r-- | site/download/index.php | 38 |
1 files changed, 28 insertions, 10 deletions
diff --git a/site/download/index.php b/site/download/index.php index 28c7598..c2ebf61 100644 --- a/site/download/index.php +++ b/site/download/index.php @@ -250,16 +250,34 @@ Once you have made your change(s), you can use this to check the status:<br/> $ <b>git status</b> </p> - <p> - Make sure to update all relevant copyright license headers. In source files or scripts, - these are usually mentioned at the top, or at the bottom in documentation. - Releasing your change under the same license - that the original file used is usually simpler. If you are submitting new files, make - sure to use a free license (note: the <?php echo $lbProjectName; ?> project will not accept - documentation under the GNU Free Documentation License, because we do not want to endorse - or support the Invariant clauses that this license allows. Changes submitted under this - license will be rejected, even if it contains no Invariant sections). - </p> + + <div class="important"> + + <p> + <b>If you are modifying an existing file, make sure to update the copyright license header + in that file; in source files or scripts, this would usually be at the top, and for documentation + it is typically at the bottom of the document.</b> + Make sure to use your <b>real name</b>.<br/> + Example addition: <b>Copyright (C) 20XX John Doe <john@doe.com></b> + </p> + <p> + Generally speaking, using the same license as the file that you are modifying is much simpler. + If you are submitting new + files, please make sure that they are under a free license (copyleft preferred). + You can find a list on + <a href="https://www.gnu.org/licenses/license-list.html">https://www.gnu.org/licenses/license-list.html</a>. + </p> + <p> + <i> + The <?php echo $lbProjectName; ?> project will not accept + documentation released under the <u>GNU Free Documentation License</u>, because we do not want to endorse + or support the Invariant clauses that this license allows. Changes submitted under this + license will be rejected, even if it contains no Invariant sections + </i> + </p> + + </div> + <p> The status command will show any untracked files that you have. Add them using <b>git add path/to/file</b>. You should also add any other files that are listed as modified in the git status. If there are deleted |