blob: f17fdbe6336353cf2318b12325a4f9f388f9c8f0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- doc/Makefile.in.orig Sat Jun 16 13:37:41 2001
+++ doc/Makefile.in Sat Jun 16 13:40:26 2001
@@ -133,7 +133,7 @@
else file=$$i; fi; \
ext=`echo $$i | sed -e 's/^.*\\.//'`; \
inst=`echo $$i | sed -e 's/\\.[0-9a-z]*$$//'`; \
- inst=`echo $$inst | sed '$(transform)'`.$$ext; \
+ inst=$$inst.$$ext; \
echo " $(INSTALL_DATA) $$file $(DESTDIR)$(man3dir)/$$inst"; \
$(INSTALL_DATA) $$file $(DESTDIR)$(man3dir)/$$inst; \
done
|
