1
include ../HtmlMakefile
3
# almost all possilbe automatically generated HTML files should be considered documentation
4
doc_html_files=$(filter-out navbar.html head.html, $(auto_html_files))
7
docfiles=$(doc_txt_files) $(doc_html_files)
9
# install generated html files and put them directly into the distribution
10
htmldir=$(armadocdir)/html/net
13
dist-hook: htmldist-hook ${doc_html_files}
14
cp -R ${doc_html_files} $(distdir)