summaryrefslogtreecommitdiff
path: root/hurd
diff options
context:
space:
mode:
authorThomas Schwinge <thomas@schwinge.name>2009-12-08 00:35:46 +0100
committerThomas Schwinge <thomas@schwinge.name>2009-12-08 00:35:46 +0100
commite5a8bf35d1fae2eaac859120085f4fdf8cccb746 (patch)
tree5c85b78f2f9d435628a1d3a9031da119a9f7440e /hurd
parent40c957dd0b34e96f871136618f2b23a3643e3cae (diff)
Fix broken TOCs. Reported by Emilio Pozuelo Monfort.
Diffstat (limited to 'hurd')
-rw-r--r--hurd/console.mdwn4
-rw-r--r--hurd/running/debian/MediaPressKitDiscuss.mdwn2
-rw-r--r--hurd/running/debian/package_troubleshooting.mdwn4
3 files changed, 0 insertions, 10 deletions
diff --git a/hurd/console.mdwn b/hurd/console.mdwn
index 3895531b..4f976efd 100644
--- a/hurd/console.mdwn
+++ b/hurd/console.mdwn
@@ -16,10 +16,6 @@ The latest Hurd package in Debian has all that is needed to run (dunno about hur
Additional information about the console can be found in the [Hurd Console Tutorial](http://uwhug.org.uk/index.pl?Hurd_Console_Tutorial)
-## <a name="Table_of_Contents"> Table of Contents </a>
-
-%TOC%
-
## <a name="What_is_the_new_console_"> What is the new console? </a>
**_The new Hurd console features:_**
diff --git a/hurd/running/debian/MediaPressKitDiscuss.mdwn b/hurd/running/debian/MediaPressKitDiscuss.mdwn
index e8b1cfff..2bd97290 100644
--- a/hurd/running/debian/MediaPressKitDiscuss.mdwn
+++ b/hurd/running/debian/MediaPressKitDiscuss.mdwn
@@ -1,5 +1,3 @@
-%TOC%
-
# <a name="Media_Press_Kit"> Media / Press Kit </a>
## <a name="Problem"> Problem </a>
diff --git a/hurd/running/debian/package_troubleshooting.mdwn b/hurd/running/debian/package_troubleshooting.mdwn
index 829af8e3..43ecbc77 100644
--- a/hurd/running/debian/package_troubleshooting.mdwn
+++ b/hurd/running/debian/package_troubleshooting.mdwn
@@ -1,9 +1,5 @@
This page reports known Hurd-specific bugs, quirks and corresponding solutions and workarounds with Debian GNU/Hurd package installation and working.
-## <a name="Table_of_Contents"> Table of Contents </a>
-
-%TOC%
-
## <a name="Dpkg_wants_external_programs_"> Dpkg wants external programs? </a>
It may be that dpkg wants external GNU/Linux-specific programs that it can't found or that just don't exist on the Hurd. You can trick dpkg by copying and running this script as root: