rgd2midnam.sh

   1 #!/bin/sh
   2 echo '<?xml version="1.0" encoding="UTF-8"?>'
   3 echo '<!DOCTYPE MIDINameDocument PUBLIC "-//MIDI Manufacturers Association//DTD MIDINameDocument 1.0//EN" "http://www.midi.org/dtds/MIDINameDocument10.dtd">'
   4 echo
   5 gunzip -c $1 | xsltproc rgd2midnam.xsl - | xmllint --format --encode UTF-8 --dtdvalid http://www.midi.org/dtds/MIDINameDocument10.dtd - | sed '1d'