deb_htmldoc_path
deb_no_static_blas_linking
