Merge commit '9dd73c9a01604ddfc031b1f3a7f1beb322c6e849' into devel
tree89f7f9b070bbf85f9b57d251fb43917cdf88eb4b
-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