From cd10b4a51603da6fb701b0997dcbf42f8f6c317d Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Fri, 9 Nov 2007 16:38:01 +0100 Subject: Get rid of the TXT version of the FDL and switch to using the Texinfo-rendered one instead. --- microkernel.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'microkernel.mdwn') diff --git a/microkernel.mdwn b/microkernel.mdwn index 21a826dc..944169ab 100644 --- a/microkernel.mdwn +++ b/microkernel.mdwn @@ -4,7 +4,7 @@ document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled -[[GNU_Free_Documentation_License|/fdl.txt]]."]] +[[GNU_Free_Documentation_License|/fdl]]."]] [[Liedtke]] explains in [On Microkernel Construction](http://l4ka.org/publications/paper.php?docid=642) that a microkernel attempts to minimize the mandatory part of the operating -- cgit v1.2.3