4 <ifneq <get-var WML_SRC_BASENAME> "index"
5 <a href="index.php3">Index</a>
12 <ifneq <get-var WML_SRC_BASENAME> "people"
13 <a href="people.php3">People</a>
17 <ifneq <get-var WML_SRC_BASENAME> "news"
18 <a href="news.php3">News</a>
22 <ifneq <get-var WML_SRC_BASENAME> "changes"
23 <a href="changes.php3">ChangeLog</a>
27 <ifneq <get-var WML_SRC_BASENAME> "download"
28 <a href="download.php3">Download</a>
32 <ifneq <get-var WML_SRC_BASENAME> "ml"
33 <a href="ml.php3">"Mailing List"</a>
37 <a href="<root_prefix>Mail-Archive/manpages-de/">Mail Archive</a><br>
41 <ifneq <get-var WML_SRC_BASENAME> "done"
42 <a href="done.php3">Fertig</a>
46 <ifneq <get-var WML_SRC_BASENAME> "mailed"
47 <a href="mailed.php3">Todo</a>
51 <ifneq <get-var WML_SRC_BASENAME> "free"
52 <a href="free.php3">"Freie Seiten"</a>
56 <a href="richtlinien.html">Richtlinien</a><br>
58 <a href="http://www.win.tue.nl/~aeb/linux/">manpages</a><br>