OpenGrok

34 	@echo "  texinfo    to make Texinfo files"
35 	@echo "  info       to make Texinfo files and run them through makeinfo"
121 texinfo:
122 	$(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(BUILDDIR)/texinfo
124 	@echo "Build finished. The Texinfo files are in $(BUILDDIR)/texinfo."
129 	$(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(BUILDDIR)/texinfo
130 	@echo "Running Texinfo files through makeinfo..."
131 	make -C $(BUILDDIR)/texinfo info
132 	@echo "makeinfo finished; the Info files are in $(BUILDDIR)/texinfo."

Indexes created Sun Mar 01 05:31:48 UTC 2026