Searched refs:texinfo (Results 1 – 1 of 1) sorted by relevance
40 @echo " texinfo to make Texinfo files"135 texinfo: target136 $(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(BUILDDIR)/texinfo143 $(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(BUILDDIR)/texinfo145 make -C $(BUILDDIR)/texinfo info