summaryrefslogtreecommitdiff
path: root/microkernel/faq
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2009-05-18 16:17:01 +0200
committerThomas Schwinge <tschwinge@gnu.org>2009-05-18 16:35:11 +0200
commit88ce1e5f9fddfe35c5f980ce5c6242b74a3d1527 (patch)
treeb280e1a662030bca45cbe5c5ba2b022006215c88 /microkernel/faq
parentcd07c455881d6860397d1da1115336d91082c3fd (diff)
Prefix directives.
Diffstat (limited to 'microkernel/faq')
-rw-r--r--microkernel/faq/multiserver_microkernel.mdwn6
1 files changed, 3 insertions, 3 deletions
diff --git a/microkernel/faq/multiserver_microkernel.mdwn b/microkernel/faq/multiserver_microkernel.mdwn
index 68ed332c..e42c4887 100644
--- a/microkernel/faq/multiserver_microkernel.mdwn
+++ b/microkernel/faq/multiserver_microkernel.mdwn
@@ -1,7 +1,7 @@
-[[meta copyright="Copyright © 2001, 2002, 2003, 2004, 2005, 2008 Free Software
+[[!meta copyright="Copyright © 2001, 2002, 2003, 2004, 2005, 2008 Free Software
Foundation, Inc."]]
-[[meta license="""[[toggle id="license" text="GFDL 1.2+"]][[toggleable
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
id="license" text="Permission is granted to copy, distribute and/or modify this
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
@@ -9,7 +9,7 @@ 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]]."]]"""]]
-[[meta title="What is a Multiserver Microkernel?"]]
+[[!meta title="What is a Multiserver Microkernel?"]]
A Microkernel has nothing to do with the size of the kernel. Rather, it refers
to the functionality that the kernel provides. It is generally agreed that