OpenGrok

40 	@echo "  texinfo    to make Texinfo files"
41 	@echo "  info       to make Texinfo files and run them through makeinfo"
135 texinfo:
136 	$(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(BUILDDIR)/texinfo
138 	@echo "Build finished. The Texinfo files are in $(BUILDDIR)/texinfo."
143 	$(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(BUILDDIR)/texinfo
144 	@echo "Running Texinfo files through makeinfo..."
145 	make -C $(BUILDDIR)/texinfo info
146 	@echo "makeinfo finished; the Info files are in $(BUILDDIR)/texinfo."

Indexes created Wed Apr 15 00:22:22 UTC 2026