From 60f6795213b7e2e3fd0f5e9d63558ce1aae346b8 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 21 Nov 2017 17:04:35 +0100
Subject: Add optindex for Set Bullet Behavior.

---
 doc/refman/RefMan-pro.tex | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/refman/RefMan-pro.tex b/doc/refman/RefMan-pro.tex
index 8f659ded35..1d3311edc2 100644
--- a/doc/refman/RefMan-pro.tex
+++ b/doc/refman/RefMan-pro.tex
@@ -395,6 +395,8 @@ Proof.
 
 \end{ErrMsgs}
 
+\subsection[\tt Set Bullet Behavior.]{\tt Set Bullet Behavior.\optindex{Bullet Behavior}}
+
 The bullet behavior can be controlled by the following commands.
 
 \begin{quote}
-- 
cgit v1.2.3