summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMutoShack <MutoShack@web>2019-03-24 02:00:42 +0100
committerGNU Hurd web pages engine <web-hurd@gnu.org>2019-03-24 02:00:42 +0100
commit5d0335284d5ea108e488ccf6d7d6ceb075d586d5 (patch)
tree5ecf568704cb71537ef41085a4784676c1e44feb
parenteb0288da7d39454cad225f7f4164d8ef9cae6306 (diff)
Divide major sections with HR's. Remove copyright
-rw-r--r--contributing/web_pages.mdwn11
1 files changed, 4 insertions, 7 deletions
diff --git a/contributing/web_pages.mdwn b/contributing/web_pages.mdwn
index 49758ff1..903ded7b 100644
--- a/contributing/web_pages.mdwn
+++ b/contributing/web_pages.mdwn
@@ -1,6 +1,3 @@
-[[!meta copyright="Copyright © 2007, 2008, 2009, 2010, 2011, 2013, 2014, 2015,
-2016 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
document under the terms of the GNU Free Documentation License, Version 1.2 or
@@ -13,7 +10,7 @@ License|/fdl]]."]]"""]]
[[!toc levels=3]]
-
+---
# General Information
(!) Some general hints first; they may sound very familiar from other software
@@ -74,7 +71,7 @@ is so that we have a chance to have the pages make fit for appearance on
`www.gnu.org`, but you are nevertheless able to work on all pages
unrestrictedly.
-
+---
# Editing via the Web Interface
When you have found a page you want to work on, just follow the *Edit* link at the
@@ -82,7 +79,7 @@ top of the page. When doing this for the first time, this will first redirect
you to a page where you will have to create an account. After logging in, you
can edit pages.
-
+---
# Working on a Checkout of the Git Repository
(!) What is being described here is only the basics. The checkouts are
@@ -258,7 +255,7 @@ If you don't have an MTA running, you'll have to find another way: either post
the `*.patch` files to <bug-hurd@gnu.org> or upload them somewhere for us to
download them from.
-
+---
# New Year Procedure
Files to update: