diff options
authorJoshua Branson <>2018-11-09 11:52:30 -0500
committerSamuel Thibault <>2018-11-09 20:07:14 +0100
commitcad631504c9f2a6a439c799c6ef86b884bbc63c9 (patch)
parent3e25a0fd194bbdb1838abb0a17832252eb03462a (diff)
Some mini edits for the contributing and dde pages.
2 files changed, 13 insertions, 2 deletions
diff --git a/contributing/web_pages.mdwn b/contributing/web_pages.mdwn
index dbcc49b..49758ff 100644
--- a/contributing/web_pages.mdwn
+++ b/contributing/web_pages.mdwn
@@ -24,6 +24,9 @@ projects:
* Install your changes *early* and *often*: don't hold your contribution back
until you think it is perfect.
+(!) An occasional Hurd contributer has a long [[youtube video|]]
+where he shows one how to contribute to editing these web pages.
## Syntax
Before doing any changes, you are encouraged to play a bit in the
@@ -248,11 +251,11 @@ 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 *.patch
+ $ git send-email --to *.patch
If you don't have an MTA running, you'll have to find another way: either post
-the `*.patch` files to <> or upload them somewhere for us to
+the `*.patch` files to <> or upload them somewhere for us to
download them from.
diff --git a/open_issues/dde.mdwn b/open_issues/dde.mdwn
index e708355..c53648b 100644
--- a/open_issues/dde.mdwn
+++ b/open_issues/dde.mdwn
@@ -13,6 +13,14 @@ License|/fdl]]."]]"""]]
[[General Information|/dde]].
+[[!template id=highlight text="""/!\ Obsolete /!\
+DDE is no longer being updated or maintained. The [[Rump_kernel]] is a better alternative.
Still waiting for interface finalization and proper integration.