thisdir=`/bin/pwd`; \
cd ${mansrcdir}; \
for page in *.1; do \
- dest=`echo "$${page}" | sed '$(TRANSFORM)'`; \
+ dest=`echo "$${page}" | sed -e 's/\.1$$//' -e '$(TRANSFORM)'`.1; \
(cd $${thisdir}; \
${INSTALL_DATA} ${mansrcdir}/$${page} $(DESTDIR)${man1dir}/$${dest}); \
( [ -n "${GZIP_INFO}" ] && [ -n "${GZIP_PROG}" ] ) || continue ; \