Error in manual fixed.
tree71d3a4572ab11741e36033b654f4b1898b8751ee
-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