diff options
author | Laura Arjona Reina <larjona@debian.org> | 2019-03-17 23:05:13 +0100 |
---|---|---|
committer | Laura Arjona Reina <larjona@debian.org> | 2019-03-17 23:05:13 +0100 |
commit | 04a2c914dfaa65b9b0c4007c4c469da3243cc634 (patch) | |
tree | 038a3882b35229cb5ab5bb9087be3c035d711903 | |
parent | c0c3a52cd19aa4fd96e80ab89a1c1b03d0ea47dc (diff) |
remove the mentions to Beowulf (the list is inactive since years and we have removed the pages from our /ports section). Update Makefile
-rw-r--r-- | english/devel/website/todo.wml | 4 | ||||
-rw-r--r-- | english/intro/organization.data | 1 | ||||
-rw-r--r-- | english/ports/Makefile | 2 |
3 files changed, 3 insertions, 4 deletions
diff --git a/english/devel/website/todo.wml b/english/devel/website/todo.wml index 8d7a4b375d4..b3d9c5e8651 100644 --- a/english/devel/website/todo.wml +++ b/english/devel/website/todo.wml @@ -97,9 +97,9 @@ <p><i>The scripts are currently maintained by Frank 'djpig' Lichtenheld and Martin 'Joey' Schulze.</i></p> -<h3>/ports/{hurd,beowulf}</h3> +<h3>/ports/hurd</h3> - <p>Move these out of ports because they aren't Linux ports. (Rename + <p>Move this out of ports because they is not a Linux port (beowulf already removed). (Rename /ports/, too?) <h3>/sitemap</h3> diff --git a/english/intro/organization.data b/english/intro/organization.data index 0e8e4fdb6c9..565d5244102 100644 --- a/english/intro/organization.data +++ b/english/intro/organization.data @@ -221,7 +221,6 @@ <member>Christoph Egger <job <a name="special"><gettext domain="organization">Special Configurations</gettext></a>> <ul> - <job <a name="beowulf" href="$(HOME)/ports/beowulf/">Beowulf</a>> <genericemail debian-beowulf@lists.debian.org> <job <a name="laptop" href="$(HOME)/misc/laptops/"><gettext domain="organization">Laptops</gettext></a>> <genericemail debian-laptop@lists.debian.org> <job <a name="firewall"><gettext domain="organization">Firewalls</gettext></a>> <genericemail debian-firewall@lists.debian.org> <job <a name="embedded"><gettext domain="organization">Embedded systems</gettext></a>> <genericemail debian-embedded@lists.debian.org> diff --git a/english/ports/Makefile b/english/ports/Makefile index 96ddce43dc1..28ec4ec37e9 100644 --- a/english/ports/Makefile +++ b/english/ports/Makefile @@ -3,7 +3,7 @@ WMLBASE=.. CUR_DIR=ports -SUBS=alpha arm beowulf kfreebsd-gnu hppa hurd i386 ia64 m68k mips netbsd powerpc sparc s390 amd64 +SUBS=alpha arm kfreebsd-gnu hppa hurd i386 ia64 m68k mips netbsd powerpc sparc s390 amd64 # java parisc ultrasparc GETTEXTFILES = ports.mo |