--- src/Makefile.in.orig 2019-09-17 03:12:20 UTC +++ src/Makefile.in @@ -808,7 +808,7 @@ install-dvi: install-dvi-am install-dvi-am: -install-exec-am: install-binPROGRAMS install-libLTLIBRARIES +install-exec-am: install-libLTLIBRARIES install-html: install-html-am