fix path to mei source in 5.0

Edirom · Feb 6, 2024 · 1f8d930 · 1f8d930
1 parent 44ac3bc
commit 1f8d930
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -201,7 +201,7 @@ RUN curl -s -L -o /tmp/mei200.zip https://github.com/music-encoding/music-encodi
     && mkdir -p  ${MEI_SOURCES_HOME}/music-encoding/mei500 \
     && cp -r /tmp/mei500/*/*  ${MEI_SOURCES_HOME}/music-encoding/mei500 \
     && rm -r /tmp/mei500 \
-    && xmllint -xinclude ${MEI_SOURCES_HOME}/music-encoding/mei500/source/specs/mei-source.xml -o ${MEI_SOURCES_HOME}/music-encoding/mei500/source/mei-source_canonicalized.xml \    
+    && xmllint -xinclude ${MEI_SOURCES_HOME}/music-encoding/mei500/source/mei-source.xml -o ${MEI_SOURCES_HOME}/music-encoding/mei500/source/mei-source_canonicalized.xml \    
     && git clone --depth 1 -b develop https://github.com/music-encoding/music-encoding /tmp/meidev \
     && cd /tmp/meidev \
     && git rev-parse HEAD > /tmp/meidev/GITHASH \