summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach/gnumach.mdwn2
-rw-r--r--microkernel/mach/history.mdwn5
-rw-r--r--microkernel/mach/mig/gnu_mig.mdwn4
3 files changed, 10 insertions, 1 deletions
diff --git a/microkernel/mach/gnumach.mdwn b/microkernel/mach/gnumach.mdwn
index 894adc76..84307a49 100644
--- a/microkernel/mach/gnumach.mdwn
+++ b/microkernel/mach/gnumach.mdwn
@@ -24,6 +24,8 @@ GNU Mach runs on x86 machines. See the
[[hardware_compatibility_list]] and information about
[[ports]] to other architectures.
+The latest release is [[GNU Mach 1.4|news/2013-09-27]].
+
# Advantages of GNU Mach
diff --git a/microkernel/mach/history.mdwn b/microkernel/mach/history.mdwn
index c22ea739..ce455627 100644
--- a/microkernel/mach/history.mdwn
+++ b/microkernel/mach/history.mdwn
@@ -212,3 +212,8 @@ IRC, freenode, #hurd, 2013-07-04:
<pavlx> i am sorry, i did changes on the wiki
<pavlx> but after the preview and after to have saved, it show again the
old chat of 2012
+
+---
+
+[[!tag open_issue_documentation]]Update for [[GNU Mach 1.4
+release|news/2013-09-27]].
diff --git a/microkernel/mach/mig/gnu_mig.mdwn b/microkernel/mach/mig/gnu_mig.mdwn
index 0de1bd67..933453f7 100644
--- a/microkernel/mach/mig/gnu_mig.mdwn
+++ b/microkernel/mach/mig/gnu_mig.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2001, 2006, 2008, 2009, 2010 Free Software
+[[!meta copyright="Copyright © 2001, 2006, 2008, 2009, 2010, 2013 Free Software
Foundation, Inc."]]
[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
@@ -24,5 +24,7 @@ Like its predecessor, it can only generate C code, that has to be compiled and
linked to client and server programs respectively ([[!taglink
open_issue_mig]]).
+The latest release is [[GNU MIG 1.4|news/2013-09-27]].
+
* [[Building]] - building (and obtaining) GNU MIG
* [[Open Issues|tag/open_issue_mig]]