#header.html
DOCDIR = $(prefix)/share/doc
DOCDIR = $(DESTDIR)$(prefix)/share/doc
# build docs manually with 'make doc'
doc: