Searched refs:texinfo (Results 1 – 2 of 2) sorted by relevance
43 @echo " texinfo to make Texinfo files"141 texinfo: target142 $(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(BUILDDIR)/texinfo149 $(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(BUILDDIR)/texinfo151 make -C $(BUILDDIR)/texinfo info
34 echo. texinfo to make Texinfo files185 if "%1" == "texinfo" (186 %SPHINXBUILD% -b texinfo %ALLSPHINXOPTS% %BUILDDIR%/texinfo189 echo.Build finished. The Texinfo files are in %BUILDDIR%/texinfo.
Completed in 4 milliseconds