--- a/Makefile.in 2026-02-27 22:34:32.405662543 +0100 +++ b/Makefile.in 2026-02-27 22:37:03.144890788 +0100 @@ -274,16 +274,8 @@ @echo "Installing nroff documentation in $(DESTDIR)$(mandir)/mann" @list='$(srcdir)/doc/*.n'; for i in $$list; do \ if test -f "$$i" ; then \ - if test -f "$(DESTDIR)$(mandir)/mann/Tcl.n.gz" -o \ - "$(DESTDIR)$(mandir)/mann/Tcl*.n.gz" ; then \ - gzip -k "$$i" ; \ - echo "Installing $$i.gz"; \ - $(INSTALL_DATA) "$$i.gz" "$(DESTDIR)$(mandir)/mann" ; \ - rm -f "$$i.gz";\ - else \ echo "Installing $$i"; \ $(INSTALL_DATA) "$$i" "$(DESTDIR)$(mandir)/mann" ; \ - fi; \ fi; \ done