#!/bin/sh

# install-docs installs documentation for penny. You can edit the
# PREFIX variable below. Man pages go to
# $PREFIX/share/man/man[0-9]. Other documentation goes to
# $PREFIX/share/doc/penny.

# To remove the documentation, run "sh install-docs remove."

PREFIX=/usr/local
MANDIR=$PREFIX/share/man
DOCDIR=$PREFIX/share/doc/penny

doInstall() {
    for suffix in 1 7; do
        install -m755 -d $MANDIR/man${suffix}
        for filename in doc/man/*.${suffix}; do
            install -v -m644 $filename $MANDIR/man${suffix}
        done
    done

    install -m755 -d $DOCDIR
    for filename in doc/*.org doc/*.dot doc/*.hs; do
        install -v -m644 $filename $DOCDIR
    done

    install -m755 -d $DOCDIR/examples
    for filename in doc/examples/*; do
        install -v -m644 $filename $DOCDIR/examples
    done
}

remove() {
    for suffix in 1 7; do
        for filename in man/*.${suffix}; do
            rm -v $MANDIR/man${suffix}/"$(basename $filename)"
        done
        rmdir -v -p $MANDIR/man${suffix}
    done
    rmdir -v -p $MANDIR

    for filename in doc/*.org doc/*.dot doc/*.hs; do
        rm -v $DOCDIR/"$(basename $filename)"
    done
    rmdir -v -p $DOCDIR

    for filename in doc/examples/*; do
        rm -v $DOCDIR/examples/"$(basename $filename)"
    done
    rmdir -v -p $DOCDIR/examples

}    
        

if [ x$1 = xremove ]; then
    remove
else
    doInstall
fi