#!/bin/sh
#
# Script to generate musixdoc.dvi, the MusiXTeX Manual
#
# Adopted from the DOS batch file in the MusiXTeX Manual for Debian GNU/Linux
# by Anthony Fok <foka@debian.org>, Sun, 27 Jul 1997 23:55:55 -0600

set -e
rm -f musixdoc.mx[12]
tex '&latex' musixdoc
musixflx musixdoc
tex '&latex' musixdoc
makeindex musixdoc.idx
tex '&latex' musixdoc
makeindex musixdoc.idx
tex '&latex' musixdoc