Merge branch 'doxygen'
-rw-r--r-- 91 .gitignore
-rw-r--r-- 11358 COPYING
-rw-r--r-- 509 HACKING
-rw-r--r-- 456 README
-rwxr-xr-x 1392 bootstrap.sh
-rw-r--r-- 3643 build.ninja
-rw-r--r-- 51092 doxygen.config
-rwxr-xr-x 1500 gen_doxygen_mainpage.sh
-rw-r--r-- 16693 manual.asciidoc
drwxr-xr-x - misc
drwxr-xr-x - src
-rw-r--r-- 659 todo