#!/bin/sh -e
#
# 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
#
# Adjustments 2003, Julian Gilbey <jdg@debian.org>
# and Roland Stigge <stigge@antcom.de>

rm -f musixdoc.mx[12]
latex musixdoc
musixflx musixdoc
latex musixdoc
makeindex musixdoc
latex musixdoc
makeindex musixdoc
latex musixdoc

