cp NEWS README* COPYING* $DESTDIR
cp $WINDEPDIR/COPYING* $DESTDIR
+
+sed -n '/^#/q; s/^[\/\* ]*//; p' src/divsufsort.c > $DESTDIR/COPYING.libdivsufsort-lite
+if ! grep -q 'Copyright' $DESTDIR/COPYING.libdivsufsort-lite; then
+ echo "ERROR: failed to extract libdivsufsort-lite license text" 1>&2
+ exit 1
+fi
(
cd $DESTDIR
for fil in NEWS README* COPYING*; do
sed 's/$/\r/g' > ${DESTDIR}/wim${cmd}.cmd <<- EOF
@echo off
- %~dp0\\wimlib-imagex $cmd %*
+ "%~dp0\\wimlib-imagex" $cmd %*
EOF
chmod +x ${DESTDIR}/wim${cmd}.cmd
done