diff options
Diffstat (limited to 'build-aux/yyrename')
-rwxr-xr-x | build-aux/yyrename | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build-aux/yyrename b/build-aux/yyrename index f23ee18..802cdb4 100755 --- a/build-aux/yyrename +++ b/build-aux/yyrename @@ -27,7 +27,7 @@ # # The prefix is looked up in the file yytrans, located in the INFILE's # directory. If this file does not exist, the prefix is constructed -# by concatenating the string 'grecs_' and the ``root name''. The root +# by concatenating the string 'argot_' and the ``root name''. The root # name is built by removing '-lex.l' or '-gram.y' from the base name. # If the latter does not end in any of these, the root name # is constructed by removing the suffix from the base name. @@ -85,7 +85,7 @@ else pfx= fi if test -z "$pfx"; then - pfx=grecs_`echo $root | tr .- __` + pfx=argot_`echo $root | tr .- __` fi eval $* || exit $? |