--- Makefile.old	2008-03-22 18:38:37.000000000 -0400
+++ Makefile	2020-09-18 20:40:39.000000000 -0400
@@ -13,11 +13,11 @@
 	./xmltoman $< > $@
 
 install:
-	install -D xmltoman $(DESTDIR)/$(PREFIX)/bin/xmltoman
-	install -D xmlmantohtml $(DESTDIR)/$(PREFIX)/bin/xmlmantohtml
-	install -D -m 0644 xmltoman.dtd $(DESTDIR)/$(PREFIX)/share/xmltoman/xmltoman.dtd
-	install -D -m 0644 xmltoman.css $(DESTDIR)/$(PREFIX)/share/xmltoman/xmltoman.css
-	install -D -m 0644 xmltoman.xsl $(DESTDIR)/$(PREFIX)/share/xmltoman/xmltoman.xsl
+	$(PREFIX)/libexec/gnubin/install -D xmltoman $(DESTDIR)/$(PREFIX)/bin/xmltoman
+	$(PREFIX)/libexec/gnubin/install -D xmlmantohtml $(DESTDIR)/$(PREFIX)/bin/xmlmantohtml
+	$(PREFIX)/libexec/gnubin/install -D -m 0644 xmltoman.dtd $(DESTDIR)/$(PREFIX)/share/xmltoman/xmltoman.dtd
+	$(PREFIX)/libexec/gnubin/install -D -m 0644 xmltoman.css $(DESTDIR)/$(PREFIX)/share/xmltoman/xmltoman.css
+	$(PREFIX)/libexec/gnubin/install -D -m 0644 xmltoman.xsl $(DESTDIR)/$(PREFIX)/share/xmltoman/xmltoman.xsl
 
 dist:
 	[ -d $(DISTNAME) ] && rm -rf $(DISTNAME) || true