Searched refs:devhelp (Results 1 – 1 of 1) sorted by relevance
33 @echo " devhelp to make HTML files and a Devhelp project"92 devhelp: target93 $(SPHINXBUILD) -b devhelp $(ALLSPHINXOPTS) $(BUILDDIR)/devhelp