bin/results-dsdp-5.8
docs/dox/docwarnings
docs/dox/html/
