Lines Matching full:docs

3 ## HACK: stuff to avoid making the print docs if installing the
7 # Comment out the next line to skip building print docs.  The default
8 # is not to skip building print docs.  Note, after changing it
74 	xml/dist-docs.xml \
85 	xml/tech-docs.xml \
94 myxmldir   = $(top_srcdir)/docs/xml
95 myimgdir   = $(top_srcdir)/docs/images
96 mylibdir   = $(top_srcdir)/docs/lib
98 myhtmldir  = $(top_builddir)/docs/html
99 myprintdir = $(top_builddir)/docs/print
101 websitedir   = $(top_builddir)/docs/website
102 valkyriedir  = $(top_builddir)/docs/vg-html
103 downloadsdir = $(top_builddir)/docs/downloads
104 vgdir        = $(top_builddir)/docs/valgrind
132 all-docs: FAQ.txt man-pages html-docs print-docs
161 html-docs:
173 print-docs:
188 # If the docs have been built, install them.  But don't worry if they have 
222 # This is done at 'make dist' time.  It builds the html docs, print
223 # docs and man pages and copies them into the docs/ directory in the
226 dist-hook: FAQ.txt html-docs man-pages print-docs
233 dist-hook: FAQ.txt html-docs man-pages
242 	rm -f $(top_builddir)/FAQ.txt $(top_builddir)/docs/*.1
252 website-docs:
260 valkyrie-docs:
261 	@echo "Generating a set of valgrind docs for valkyrie..."
271 download-docs:
285 	(cd $(top_builddir)/docs/ && \