mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-08-28 08:08:09 -07:00
20 lines
668 B
Diff
20 lines
668 B
Diff
--- 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
|
|
|