bug fix in make-ebib-release.sh
treea2df3630fcac7fec90a14f475fc7b4148c27fc49
-rwxr-xr-x 1551 make-ebib-release.sh
drwxr-xr-x - manual
drwxr-xr-x - release-files
drwxr-xr-x - src
drwxr-xr-x - webpage