Please do not use the GNU Free Documentation License.

Thank you.

1 files changed, 12 insertions, 1 deletions

diff --git a/site/download/index.php b/site/download/index.php
index f1ed4df..4f90252 100644
--- a/site/download/index.php
+++ b/site/download/index.php
@@ -242,11 +242,22 @@
 						$ <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; ?> 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>
+					<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
 						files in the git status, you can use <b>git rm path/to/file</b>. As long as you have added all the untracked
 						files, it is generally easier to use:<br/>
-						$ <b>git commit -a</b>
+						$ <b>git commit -a</b><br/>
+						(instead of <b>git commit</b>)
 					</p>
 					<p>
 						If you need to make a change to the current commit, you can do so with:<br/>