From 2b66ef5d55325b2957d6c62908ca065228e56814 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <thomas@codesourcery.com>
Date: Sun, 26 May 2013 18:06:30 +0200
Subject: [PATCH] 	* manual/platform.texi: Add missing @end deftypefun.

Fixup for commit d116b7c414c8239b677e341ac517745db689ac2d.
---
 ChangeLog            | 4 ++++
 manual/platform.texi | 1 +
 2 files changed, 5 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 6c5111c792..175ca0ce1f 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 f1a40d63a4..99f46755a0 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).