Searched refs:HTMLMANDIR (Results 1 – 3 of 3) sorted by relevance
36 OUTPUT_FILE "${HTMLMANDIR}/${doc}"41 message(STATUS "Generated ${HTMLMANDIR}/${doc} from ${MANSRCDIR}/${man}")49 file(WRITE "${HTMLMANDIR}/${INDEXFILE}" "${indexcontent}")50 message(STATUS "Generated ${HTMLMANDIR}/${INDEXFILE}")
28 HTMLMANDIR = $(top_srcdir)/html/man macro119 ${GROFF} $(MANSRCDIR)/$$i > $(HTMLMANDIR)/$$i.html; \
332 HTMLMANDIR = $(top_srcdir)/html/man639 ${GROFF} $(MANSRCDIR)/$$i > $(HTMLMANDIR)/$$i.html; \