diff options
Diffstat (limited to 'Build/source/texk/gregorio/gregorio.test')
-rwxr-xr-x | Build/source/texk/gregorio/gregorio.test | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Build/source/texk/gregorio/gregorio.test b/Build/source/texk/gregorio/gregorio.test index f8daa762d22..90ab42db148 100755 --- a/Build/source/texk/gregorio/gregorio.test +++ b/Build/source/texk/gregorio/gregorio.test @@ -10,7 +10,12 @@ export TEXMFCNF DOCSRC=$srcdir/$GREGORIO_TREE/doc -gregorio=gregorio +# +# 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 failed= |