diff options
author | Karl Berry <karl@freefriends.org> | 2019-01-06 23:19:16 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-01-06 23:19:16 +0000 |
commit | 976f2b9b61a086f8594f6bfe6dbea42faa56edb2 (patch) | |
tree | 9e620153df80a27b0304ae9827fa0f69a02191e0 /Build/source/texk/web2c/ctangleboot-sh.in | |
parent | b109e3c47399f4fdfc7805b8f9168c7452f78e96 (diff) |
cwebbin for cweb, from Andreas Scherer https://github.com/ascherer/cwebbin)
git-svn-id: svn://tug.org/texlive/trunk@49626 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/ctangleboot-sh.in')
-rw-r--r-- | Build/source/texk/web2c/ctangleboot-sh.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/ctangleboot-sh.in b/Build/source/texk/web2c/ctangleboot-sh.in index db5da006b6c..1cc839f058c 100644 --- a/Build/source/texk/web2c/ctangleboot-sh.in +++ b/Build/source/texk/web2c/ctangleboot-sh.in @@ -12,7 +12,7 @@ target=$1; shift base=$1 case $base in - common) file=cweb; exts='c h';; + common) file=cweb; exts=c;; ctangle) file=ctangle; exts=c;; *) echo "Usage: $0 TARGET {common|ctangle} [CHANGEFILE]" >&2; exit 1;; esac @@ -64,7 +64,6 @@ for ext in $exts; do src=$file.$ext dst=@srcdir@/${file}boot.${ext}in sed -e 's,@srcdir@/cwebdir,cwebdir,' \ - -e 's,^#include "cweb.h",#include "cwebboot.h",' \ $src >$stamp.tmp if cmp -s $stamp.tmp $dst; then rm -f $stamp.tmp |