# docs.html is not autogenerated
armadillo: source-is-missing [docs.html]
