OpenGrok

43 	@echo "  texinfo    to make Texinfo files"
44 	@echo "  info       to make Texinfo files and run them through makeinfo"
141 texinfo:
142 	$(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(BUILDDIR)/texinfo
144 	@echo "Build finished. The Texinfo files are in $(BUILDDIR)/texinfo."
149 	$(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(BUILDDIR)/texinfo
150 	@echo "Running Texinfo files through makeinfo..."
151 	make -C $(BUILDDIR)/texinfo info
152 	@echo "makeinfo finished; the Info files are in $(BUILDDIR)/texinfo."

Indexes created Sat Feb 28 05:31:39 UTC 2026