diff options
author | David Robillard <d@drobilla.net> | 2016-07-31 18:48:59 -0400 |
---|---|---|
committer | David Robillard <d@drobilla.net> | 2016-07-31 18:48:59 -0400 |
commit | 5583929a3491075df4e1862579e8df7318dc7370 (patch) | |
tree | 66fd8b82c65921c353d3ab8f91378df29a41e22d /patchfiles/MIDINameDocument10.dtd | |
parent | 57e9b502a703fcb62316a31b0db14367fc77deb9 (diff) |
Fix validation of midnam files
The MMA in all their wisdom has broken midi.org, so modify the DTD to
use a local system name which xmllint will find in the current
directory.
Diffstat (limited to 'patchfiles/MIDINameDocument10.dtd')
-rw-r--r-- | patchfiles/MIDINameDocument10.dtd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/patchfiles/MIDINameDocument10.dtd b/patchfiles/MIDINameDocument10.dtd index 24befd1de0..5a95f64587 100644 --- a/patchfiles/MIDINameDocument10.dtd +++ b/patchfiles/MIDINameDocument10.dtd @@ -150,7 +150,7 @@ -->
<!ENTITY % ChannelRequired "#IMPLIED">
<!ENTITY % MIDIDTD PUBLIC "-//MIDI Manufacturers Association//DTD MIDIEvents 1.0//EN"
- "http://www.midi.org/dtds/MIDIEvents10.dtd" >
+ "MIDIEvents10.dtd" >
%MIDIDTD;
<!ELEMENT MIDICommands (MIDIDelay | %MIDIChannelMessage; | SysEx)+ >
|