summaryrefslogtreecommitdiff
path: root/microkernel/mach
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2016-05-23 00:53:36 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2016-05-23 00:53:36 +0200
commit5e0b78708cb59ab4faabf01bdd197b3080820d6b (patch)
tree8b7451118e9ebab8539bc539ec2bb273f96b8223 /microkernel/mach
parentd2a6e841c0eb10f6c6b7495d5c4644ca74bc4b21 (diff)
parenta9fc3903036c3f58cd8c80e79797feff4eaa3ea9 (diff)
Merge branch 'master' of git.savannah.gnu.org:/srv/git/hurd/web
Diffstat (limited to 'microkernel/mach')
-rw-r--r--microkernel/mach/gnumach.mdwn6
-rw-r--r--microkernel/mach/gnumach/profiling.mdwn3
-rw-r--r--microkernel/mach/history.mdwn2
-rw-r--r--microkernel/mach/mig/gnu_mig.mdwn6
4 files changed, 8 insertions, 9 deletions
diff --git a/microkernel/mach/gnumach.mdwn b/microkernel/mach/gnumach.mdwn
index ba970a03..10c48186 100644
--- a/microkernel/mach/gnumach.mdwn
+++ b/microkernel/mach/gnumach.mdwn
@@ -1,5 +1,5 @@
-[[!meta copyright="Copyright © 2001, 2002, 2007, 2008, 2011, 2013, 2015 Free
-Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2001, 2002, 2007, 2008, 2011, 2013, 2015, 2016
+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
@@ -24,7 +24,7 @@ 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.6|news/2015-10-31-releases]].
+The latest release is [[GNU Mach 1.7|news/2016-05-18-releases]].
# Advantages of GNU Mach
diff --git a/microkernel/mach/gnumach/profiling.mdwn b/microkernel/mach/gnumach/profiling.mdwn
index 5b3f5e0b..a15fab5e 100644
--- a/microkernel/mach/gnumach/profiling.mdwn
+++ b/microkernel/mach/gnumach/profiling.mdwn
@@ -1,5 +1,4 @@
-[[!meta copyright="Copyright © 2016
-Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2016 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
diff --git a/microkernel/mach/history.mdwn b/microkernel/mach/history.mdwn
index c9d3bba9..2d29eef1 100644
--- a/microkernel/mach/history.mdwn
+++ b/microkernel/mach/history.mdwn
@@ -217,4 +217,4 @@ IRC, freenode, #hurd, 2013-07-04:
[[!tag open_issue_documentation]]Update for [[GNU Mach 1.4
release|news/2013-09-27]], [[GNU Mach 1.5|news/2015-04-10-releases]], [[GNU
-Mach 1.6|news/2015-10-31-releases]].
+Mach 1.6|news/2015-10-31-releases]], [[GNU Mach 1.7|news/2016-05-18-releases]].
diff --git a/microkernel/mach/mig/gnu_mig.mdwn b/microkernel/mach/mig/gnu_mig.mdwn
index e6f51802..415d1e32 100644
--- a/microkernel/mach/mig/gnu_mig.mdwn
+++ b/microkernel/mach/mig/gnu_mig.mdwn
@@ -1,5 +1,5 @@
-[[!meta copyright="Copyright © 2001, 2006, 2008, 2009, 2010, 2013, 2015 Free
-Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2001, 2006, 2008, 2009, 2010, 2013, 2015, 2016
+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
@@ -24,7 +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.6|news/2015-10-31-releases]].
+The latest release is [[GNU MIG 1.7|news/2016-05-18-releases]].
* [[Building]] - building (and obtaining) GNU MIG
* [[Open Issues|tag/open_issue_mig]]