+install.man:
+ @echo "Installation of man-pages"
+ @if [ ! -d $(MANDIR) ]; then \
+ echo Making $(MANDIR); \
+ mkdir $(MANDIR); \
+ fi
+ @if [ ! -d $(MANDIR)/mann ]; then \
+ echo Making $(MANDIR)/mann; \
+ mkdir $(MANDIR)/mann; \
+ fi
+ @cd doc; if [ -d $(MANDIR)/mann ]; then \
+ for p in *.n; do \
+ echo "Installing $$p"; \
+ $(INSTALL_DATA) $$p $(MANDIR)/mann; \
+ done; \
+ fi
+