diff options
Diffstat (limited to 'Build/source/texk/configure')
-rwxr-xr-x | Build/source/texk/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/configure b/Build/source/texk/configure index c65ef0f8aa1..b1c48b52f6d 100755 --- a/Build/source/texk/configure +++ b/Build/source/texk/configure @@ -3364,7 +3364,7 @@ esac ;; esac ## utils/autosp/ac/withenable.ac: configure.ac fragment for TeX Live subdir -## $Id$ +## $Id: withenable.ac 46590 2018-02-10 23:30:32Z karl $ ## configure options and TL libraries required for autosp. # Check whether --enable-autosp was given. if test "${enable_autosp+set}" = set; then : @@ -3383,7 +3383,7 @@ $as_echo "$as_me: Assuming \`--enable-autosp=$enable_autosp'" >&6;} esac ## utils/autosp/ac/withenable.ac: configure.ac fragment for TeX Live subdir -## $Id$ +## $Id: withenable.ac 46590 2018-02-10 23:30:32Z karl $ ## configure options and TL libraries for axodraw2. # Check whether --enable-axodraw2 was given. if test "${enable_axodraw2+set}" = set; then : |