changeset 3245 | 3bdeca8946a6 |
parent 2233 | 3840cefa5222 |
child 3269 | 6901d3545021 |
--- a/doc/Makefile Wed Oct 04 18:06:03 2006 +0200 +++ b/doc/Makefile Wed Oct 04 18:43:40 2006 +0200 @@ -28,7 +28,7 @@ install: man for i in $(MAN) ; do \ - subdir=`echo $$i | sed -n 's/.\+\(\.[0-9]\)$$/man\1/p'` ; \ + subdir=`echo $$i | sed -n 's/.\+\.\([0-9]\)$$/man\1/p'` ; \ mkdir -p $(MANDIR)/$$subdir ; \ $(INSTALL) $$i $(MANDIR)/$$subdir ; \ done