diff options
-rw-r--r-- | Makefile.in | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/Makefile.in b/Makefile.in index c6d51ef..18c4302 100644 --- a/Makefile.in +++ b/Makefile.in @@ -104,18 +104,7 @@ script = \ .1in.1: @printf ' SED %s\n' '$*.1' - @abmon='Nul Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec '; \ - date=$$(LC_TIME=POSIX ls -l '$(srcdir)/$*.1in' | sed 's/ / /g' | \ - cut -d ' ' -f 6-8); \ - md="$${date% *}"; \ - m="$$(echo $${abmon% $${md% *} *} | wc -w)"; \ - d="$${md#* }"; \ - [ $${m} -lt 10 ] && m="0$${m}"; \ - [ $${d} -lt 10 ] && d="0$${d}"; \ - y="$${date##* }"; \ - [ "$${y%:*}" != "$${y}" ] && y=$$(date '+%Y'); \ - sed "$(script) s&@@DATE@@&$${y}-$${m}-$${d}&;" \ - '$(srcdir)/$*.1in' >'$*.1' + @sed '$(script)' '$(srcdir)/$*.1in' >'$*.1' .sh.ms: @printf ' CP %s\n' '$*.ms' |