From fb7794dd063fc926d6424ff8a5bdd0bc19031547 Mon Sep 17 00:00:00 2001
From: Gareth Rees <gdr@ravenbrook.com>
Date: Fri, 6 Feb 2015 09:50:24 +0000
Subject: [PATCH] Keep glossary index up to date.

Copied from Perforce
 Change: 187682
 ServerID: perforce.ravenbrook.com
---
 mps/manual/source/glossary/index.rst | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mps/manual/source/glossary/index.rst b/mps/manual/source/glossary/index.rst
index a0484b3c5ee..6c15cbd4e84 100644
--- a/mps/manual/source/glossary/index.rst
+++ b/mps/manual/source/glossary/index.rst
@@ -84,6 +84,7 @@ All
 :term:`bit table <bitmap>`
 :term:`bit vector <bitmap>`
 :term:`bitmap`
+:term:`bitmap marking`
 :term:`bitmapped fit`
 :term:`bitmask`
 :term:`bitset <bitmap>`