Index: doc/user/Makefile
===================================================================
--- doc/user/Makefile	(revision af4903bc35f1028bfedad4cc3e1783cadc4ec09f)
+++ doc/user/Makefile	(revision 56e49b0f2a7f4c543915bdf9e4bd2fa65be2d947)
@@ -10,4 +10,5 @@
 user \
 ../refrat/keywords \
+../refrat/operidents \
 }