aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ChangeLog4
-rw-r--r--manual/platform.texi1
2 files changed, 5 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index 6c5111c..175ca0c 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2013-05-26 Thomas Schwinge <thomas@codesourcery.com>
+
+ * manual/platform.texi: Add missing @end deftypefun.
+
2013-05-24 Joseph Myers <joseph@codesourcery.com>
[BZ #15529]
diff --git a/manual/platform.texi b/manual/platform.texi
index f1a40d6..99f4675 100644
--- a/manual/platform.texi
+++ b/manual/platform.texi
@@ -57,6 +57,7 @@ Provide a hint that performance will probably be improved if shared resources
dedicated to the executing processor are released until all outstanding storage
accesses to cacheable storage for which the data is not in the cache have been
completed.
+@end deftypefun
@deftypefun {void} __ppc_set_ppr_med (void)
Set the Program Priority Register to medium value (default).