diff options
| -rw-r--r-- | contributing/web_pages.mdwn | 7 |
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 |