Merge branch 'master' into devel
treeee5ebc8ce02c03b1788b7da08d1f1f55984e774d
-rwxr-xr-x 1521 make-ebib-release.sh
drwxr-xr-x - manual
drwxr-xr-x - release-files
drwxr-xr-x - src
drwxr-xr-x - webpage