--- external/zeromq/doc/Makefile.in.orig 2012-10-02 12:30:24.000000000 +0200 +++ external/zeromq/doc/Makefile.in 2012-10-20 16:56:13.777947694 +0200 @@ -476,7 +476,7 @@ install-info-am: -install-man: install-man3 install-man7 +install-man: install-pdf: install-pdf-am