diff options
Diffstat (limited to 'Build/source/texk/gregorio/gregorio.test')
-rwxr-xr-x | Build/source/texk/gregorio/gregorio.test | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/Build/source/texk/gregorio/gregorio.test b/Build/source/texk/gregorio/gregorio.test index 90ab42db148..f8daa762d22 100755 --- a/Build/source/texk/gregorio/gregorio.test +++ b/Build/source/texk/gregorio/gregorio.test @@ -10,12 +10,7 @@ export TEXMFCNF DOCSRC=$srcdir/$GREGORIO_TREE/doc -# -# Does FILENAME_VERSION have a value here? If it does, the -# next line is not needed -FILENAME_VERSION=5_0_0-rc1 - -gregorio=gregorio-$FILENAME_VERSION +gregorio=gregorio failed= |