Searched refs:devhelp (Results 1 – 4 of 4) sorted by relevance
33 @echo " devhelp to make HTML files and a Devhelp project"92 devhelp: target93 $(SPHINXBUILD) -b devhelp $(ALLSPHINXOPTS) $(BUILDDIR)/devhelp
28 echo. devhelp to make HTML files and a Devhelp project124 if "%1" == "devhelp" (125 %SPHINXBUILD% -b devhelp %ALLSPHINXOPTS% %BUILDDIR%/devhelp
28 echo. devhelp to make HTML files and a Devhelp project108 if "%1" == "devhelp" (109 %SPHINXBUILD% -b devhelp %ALLSPHINXOPTS% %BUILDDIR%/devhelp
24 sphinxcontrib-devhelp==1.0.5