diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-03 15:26:03 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-03 15:28:06 +0200 |
| commit | 855af9a0ee8d1bdebff882a62104134a71044dba (patch) | |
| tree | 00a93447c5c045df3cc69375de884e76b065ad4a /sidebar.mdwn | |
| parent | 94aafdb76706abe3c0d2f0f06c8f37fbcdb1056e (diff) | |
| download | web-855af9a0ee8d1bdebff882a62104134a71044dba.tar.gz web-855af9a0ee8d1bdebff882a62104134a71044dba.tar.bz2 web-855af9a0ee8d1bdebff882a62104134a71044dba.zip | |
Break up `Mach' and `Mig' hierarchies, merge them into `microkernel/mach/', `microkernel/mach/gnumach/', `microkernel/mach/mig/', and elsewhere.
Diffstat (limited to 'sidebar.mdwn')
| -rw-r--r-- | sidebar.mdwn | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/sidebar.mdwn b/sidebar.mdwn index 88ba8c21..4454ce28 100644 --- a/sidebar.mdwn +++ b/sidebar.mdwn @@ -36,12 +36,9 @@ redistribute your contributions. * *[[Status|Hurd/GNUHurdStatus]]* * *[[Hurd/Documentation]]* * *[[Hurd/Running]]*"]] -* **[[Mach]]**[[if test="destpage(Mach*)" then=" - * *[[GNU_Mach|Mach/GNUMach]]* - * *[[Mach/Documentation]]*"]] -* **[[Mig]]**[[if test="destpage(Mig*)" then=" - * *[[About|Mig/MachInterfaceGenerator]]* - * *[[Documentation|Mig/MigDocumentation]]*"]] +* **[[microkernel/Mach]]**[[if test="destpage(microkernel/mach*)" then=" + * *[[GNU_Mach|microkernel/mach/gnumach]]* + * *[[microkernel/mach/Documentation]]*"]] --- |