make-ebib-release.sh: moves manual files instead of copying them
treede359e6ac85ebf3070eb5b1db58d7f30fc1fdd1c
-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