From a488489ebceda9865422e4c82b49fcf95755d2d5 Mon Sep 17 00:00:00 2001
From: Gareth Rees <gdr@ravenbrook.com>
Date: Tue, 21 Oct 2014 23:57:00 +0100
Subject: [PATCH] Section title must be "document history" exactly if the
 manual inclusion is to work.

Copied from Perforce
 Change: 187333
 ServerID: perforce.ravenbrook.com
---
 mps/design/guide.impl.c.naming.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/mps/design/guide.impl.c.naming.txt b/mps/design/guide.impl.c.naming.txt
index 01191a7ca44..bffc58554fc 100644
--- a/mps/design/guide.impl.c.naming.txt
+++ b/mps/design/guide.impl.c.naming.txt
@@ -91,8 +91,8 @@ _`.suffix.function`: The type of other functions must end with
 ``Function``. For example, ``TreeKeyFunction``.
 
 
-History
--------
+Document History
+----------------
 
 - 2014-10-07  GDR_  Created based on job003693_.