--- a/Admin/page/dist-layout/navigation.html Mon Sep 18 14:10:31 2000 +0200
+++ b/Admin/page/dist-layout/navigation.html Mon Sep 18 14:35:54 2000 +0200
@@ -12,9 +12,7 @@
<!-- _GP_ setnavcolor("#F0F0F0") -->
<!-- _GP_ page("Mirrors", "index") -->
<!-- _GP_ empty_line(3) -->
-<!-- _GP_ page("Binaries", "binary") -->
-<!-- _GP_ empty_line(3) -->
-<!-- _GP_ page("Sources", "source") -->
+<!-- _GP_ page("Packages", "packages") -->
<!-- _GP_ empty_line(3) -->
<!-- _GP_ page("Documentation", "docs") -->
<!-- _GP_ empty_line(3) -->