53-47-addon.patch

[Akim Demaille]

Index: mans.am
--- mans.am Wed, 21 Feb 2001 21:04:28 +0100 akim (am/g/24_mans.am 1.4 644)
+++ mans.am Thu, 22 Feb 2001 20:28:43 +0100 akim (am/g/24_mans.am 1.4 644)
@@ -17,7 +17,7 @@
 ## 02111-1307, USA.
 
 .PHONY install-man: install-man@SECTION@
-install-man@SECTION@:
+install-man@SECTION@: $(man@SECTION@_MANS) $(man_MANS)
        @$(NORMAL_INSTALL)
        $(mkinstalldirs) $(DESTDIR)$(man@SECTION@dir)
        @list='$(man@SECTION@_MANS)'; \