summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--contributing/web_pages.mdwn7
1 files changed, 4 insertions, 3 deletions
diff --git a/contributing/web_pages.mdwn b/contributing/web_pages.mdwn
index 5796d56e..53eba725 100644
--- a/contributing/web_pages.mdwn
+++ b/contributing/web_pages.mdwn
@@ -1,4 +1,5 @@
-[[meta copyright="Copyright © 2007, 2008 Free Software Foundation, Inc."]]
+[[meta copyright="Copyright © 2007, 2008, 2009 Free Software Foundation,
+Inc."]]
[[meta license="""[[toggle id="license" text="GFDL 1.2+"]][[toggleable
id="license" text="Permission is granted to copy, distribute and/or modify this
@@ -154,7 +155,7 @@ If you can push directly into the master repository this is really simple:
If you can't do that, then first prepare to publish your changes:
- $ git-format-patch -M -B origin
+ $ git format-patch -M -B origin
0001-Be-a-bit-more-expressive.patch
[...]
@@ -164,7 +165,7 @@ want to publish.
Finally, publish the good ones. If you have a local mail transfer agent
running, the following is all you have to do:
- $ git-send-email --to web-hurd@gnu.org *.patch
+ $ git send-email --to web-hurd@gnu.org *.patch
[...]
If you don't have an MTA running, you'll have to find another way: either post