diff options
| author | Thomas Schwinge <thomas@schwinge.name> | 2011-08-30 12:03:36 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@schwinge.name> | 2011-08-30 12:03:36 +0200 |
| commit | 016433b123ce4b60eee550dbdb7812ba623d16e7 (patch) | |
| tree | 5b0c66777ca1dae1ac112d1eee8c05ba2c840d4b /microkernel/mach/mig/gnu_mig/building.mdwn | |
| parent | edd7d582fce7a52565efd3e404bb0419f7e34474 (diff) | |
Minor tweaks.
Diffstat (limited to 'microkernel/mach/mig/gnu_mig/building.mdwn')
| -rw-r--r-- | microkernel/mach/mig/gnu_mig/building.mdwn | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/microkernel/mach/mig/gnu_mig/building.mdwn b/microkernel/mach/mig/gnu_mig/building.mdwn index 759c1a84..cd588341 100644 --- a/microkernel/mach/mig/gnu_mig/building.mdwn +++ b/microkernel/mach/mig/gnu_mig/building.mdwn @@ -1,3 +1,14 @@ +[[!meta copyright="Copyright © 2006, 2007, 2008, 2011 Free Software Foundation, +Inc."]] + +[[!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 +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]]."]]"""]] + # <a name="Building_the_Mach_Interface_Gene"> Building the Mach Interface Generator from Source </a> If you want to build the Mach Interface Generator yourself instead of just |