diff options
Diffstat (limited to 'Build/source/texk/dvipsk/configure')
-rwxr-xr-x | Build/source/texk/dvipsk/configure | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/Build/source/texk/dvipsk/configure b/Build/source/texk/dvipsk/configure index 4cf34a93856..ac09070af30 100755 --- a/Build/source/texk/dvipsk/configure +++ b/Build/source/texk/dvipsk/configure @@ -734,6 +734,9 @@ AM_BACKSLASH AM_DEFAULT_VERBOSITY AM_DEFAULT_V AM_V +CSCOPE +ETAGS +CTAGS am__untar am__tar AMTAR @@ -8688,6 +8691,20 @@ am__tar='$${TAR-tar} chof - "$$tardir"' am__untar='$${TAR-tar} xf -' +# Variables for tags utilities; see am/tags.am +if test -z "$CTAGS"; then + CTAGS=ctags +fi + +if test -z "$ETAGS"; then + ETAGS=etags +fi + +if test -z "$CSCOPE"; then + CSCOPE=cscope +fi + + # POSIX will say in a future version that running "rm -f" with no argument # is OK; and we want to be able to make that assumption in our Makefile |