jenkins.sh: Use --disable-doxygen configure parammaster
tree7e0972e89762800ae3c98f37a6bbe8b1d7d3305e
drwxr-xr-x - .github
-rw-r--r-- 502 .gitignore
-rw-r--r-- 52 .gitreview
drwxr-xr-x - contrib
drwxr-xr-x - debian
drwxr-xr-x - doc
drwxr-xr-x - include
drwxr-xr-x - src