From 566a24e28924ad4a7dda99891dce3882e6db112c Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 26 Nov 2015 16:01:33 +0100
Subject: Adding the Printing Projections options to the index.

---
 doc/refman/RefMan-ext.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/refman/RefMan-ext.tex b/doc/refman/RefMan-ext.tex
index d21c91201d..b77118e1f9 100644
--- a/doc/refman/RefMan-ext.tex
+++ b/doc/refman/RefMan-ext.tex
@@ -253,6 +253,7 @@ Reset Initial.
 
 \Rem An experimental syntax for projections based on a dot notation is
 available. The command to activate it is
+\optindex{Printing Projections}
 \begin{quote}
 {\tt Set Printing Projections.}
 \end{quote}
-- 
cgit v1.2.3