Ensure PDF manpages are generated from local sources.

diff --git a/mingwrt/ChangeLog b/mingwrt/ChangeLog
index 89143d7..b815907 100644 (file)
--- a/mingwrt/ChangeLog
+++ b/mingwrt/ChangeLog
@@ -1,5 +1,13 @@
 2020-04-08  Keith Marshall  <keith@users.osdn.me>
 
+       Ensure PDF manpages are generated from local sources.
+
+       * Makefile.in (%.$man3ext.pdf): Specify explicit path to $<.$man3ext
+       file, when invoking the 'man -t' command; without it, the command may
+       refer to the build host's native copy, instead of our local version.
+
+2020-04-08  Keith Marshall  <keith@users.osdn.me>
+
        Automatically enumerate manpages for publication.
 
        * Makefile.in (manpages): New macro; define, and use it...

diff --git a/mingwrt/Makefile.in b/mingwrt/Makefile.in
index 78dd32b..654c31f 100644 (file)
--- a/mingwrt/Makefile.in
+++ b/mingwrt/Makefile.in
@@ -994,7 +994,7 @@ install-html-files install-pdf-files: install-%-files: \
        chmod 644 ${htmldir}/$(notdir $@)
 
 %.$(man3ext).pdf: %.$(man3ext)
-       man -t $< | ps2pdf - > ${pdfdir}/$(notdir $@)
+       man -t $(dir $<)$< | ps2pdf - > ${pdfdir}/$(notdir $@)
        chmod 644 ${pdfdir}/$(notdir $@)
 
 html-docdist pdf-docdist: %-docdist: