Lines Matching refs:texinfo
36 @echo " texinfo to make Texinfo files"
37 @echo " info to make Texinfo files and run them through makeinfo"
123 texinfo:
124 $(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(BUILDDIR)/texinfo
126 @echo "Build finished. The Texinfo files are in $(BUILDDIR)/texinfo."
131 $(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(BUILDDIR)/texinfo
132 @echo "Running Texinfo files through makeinfo..."
133 make -C $(BUILDDIR)/texinfo info
134 @echo "makeinfo finished; the Info files are in $(BUILDDIR)/texinfo."
