diff options
Diffstat (limited to 'src/hyper')
| -rw-r--r-- | src/hyper/Makefile.in | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/src/hyper/Makefile.in b/src/hyper/Makefile.in index 58357a3d..ec94c6be 100644 --- a/src/hyper/Makefile.in +++ b/src/hyper/Makefile.in @@ -151,7 +151,7 @@ ${HYPER}/pages/ht.db: all-hyper-pre $(srcdir)/pages/*.pht  	@ mkdir -p "${HYPER}"/pages  	@ cp "$(srcdir)"/pages/*.ht "$(HYPER)"/pages/  	@ for A in `ls "$(srcdir)"/pages/*.pht`; do \ -	     sed 's,/doc/viewports/,/share/viewports/,g' $$A \ +	     LC_CTYPE=C sed 's,/doc/viewports/,/share/viewports/,g' $$A \  			> ${HYPER}/pages/`basename $$A`; \  	     done  	@ rm -f "${HYPER}"/pages/ht.db | 
