+ cmd=$(echo $base | sed s/wimlib-imagex-//)
+ if [ $cmd == mount -o $cmd == mountrw -o $cmd == unmount ]; then
+ continue
+ fi
+
+ echo $fil
+ #MANWIDTH=80 man $fil | col -b > $DESTDIR/doc/$base
+ man -t $fil | ps2pdf - $DESTDIR/doc/${base}.pdf
+ sed 's/$/\r/g' > $DESTDIR/wim${cmd}.bat <<- EOF
+ @echo off
+ %~dp0\\wimlib-imagex $cmd %*
+ EOF