[f00035]: make_doc_zip  Maximize  Restore  History

Download this file

21 lines (16 with data), 253 Bytes

#!/bin/bash

usage() {
    echo "usage: make_doc_zip zipfile" >&2
    exit 2
}

set -e

[ $# -eq 1 ] || usage

rm -f "$zipname"
if expr "$zipname" : /
then
    :
else
    zipname="../$zipname"
fi
cd doc
zip -r -MM "$zipname" html -x .pyhist -x '.*.swp'