--- embedaddon/readline/doc/Makefile.in	2014/07/30 08:16:45	1.1.1.1
+++ embedaddon/readline/doc/Makefile.in	2021/03/17 01:01:01	1.1.1.2
@@ -59,6 +59,8 @@ QUIETPS     = #set this to -q to shut up dvips
 PAPERSIZE   = letter
 PSDPI       = 600
 DVIPS       = dvips -D ${PSDPI} $(QUIETPS) -t ${PAPERSIZE} -o $@     # tricky
+# experimental; uses external texi2dvi for now; this needs pdftex to be present
+TEXI2PDF    = texi2dvi --pdf
 
 # These tools might not be available; they're not required
 DVIPDF      = dvipdfm -o $@ -p ${PAPERSIZE}
@@ -101,6 +103,10 @@ DIST_DOCS = $(DVIOBJ) $(PSOBJ) $(HTMLOBJ) $(INFOOBJ) $
 	$(RM) $@
 	-${DVIPDF} $<
 
+#.texi.pdf:
+#	$(RM) $@
+#	-${TEXI2PDF} $<
+
 all: info dvi html ps text pdf
 nodvi: info html text
 
@@ -170,9 +176,15 @@ history_3.ps: $(srcdir)/history.3
 	${RM} $@
 	${GROFF} -man < $(srcdir)/history.3 > $@ 
 
-readline.pdf:	readline.dvi
-history.pdf:	history.dvi
-rluserman.pdf:	rluserman.dvi
+readline.pdf:	$(RLSRC)
+	TEXINPUTS=.:$(TEXINPUTDIR):$$TEXINPUTS $(TEXI2PDF) $(srcdir)/rlman.texi
+	mv rlman.pdf $@
+
+history.pdf:	$(HISTSRC)
+	TEXINPUTS=.:$(TEXINPUTDIR):$$TEXINPUTS $(TEXI2PDF) $(srcdir)/history.texi
+
+rluserman.pdf:	$(RLSRC)
+	TEXINPUTS=.:$(TEXINPUTDIR):$$TEXINPUTS $(TEXI2PDF) $(srcdir)/rluserman.texi
 
 clean:
 	$(RM) *.aux *.bak *.cp *.fn *.ky *.log *.pg *.toc *.tp *.vr *.cps \