Well, here you go. I did not have texi2roff installed, but used texi2pdf.
Further more, the .pdf is _not_ generated in a default "make" run.
You have to 'make flex.pdf'.
cu, Bastian
------------------------------------------------------------------------
--- Makefile.am 2002-09-09 15:59:58.000000000 +0200
+++ Makefile.am.patched 2002-09-18 14:11:21.000000000 +0200
@@ -86,8 +86,24 @@
FlexLexer.h
info_TEXINFOS = flex.texi
+pdf_TEXINFOS = flex.texi
man_MANS = flex.1
+# Bruce's approach texi -> roff -> ps -> pdf
+# Hmm, texi2roff is unmaintained: http://texinfo.org/texi2roff/
+#.texi.pdf:
+# texi2roff -ms $< > $(<:.texi=.ms) 2>/dev/null
+# groff -Tps -ms $(<:.texi=.ms) > $(<:.texi=.gps) 2>/dev/null
+# ps2pdf $(<:.texi=.gps) $@
+# rm -f $(<:.texi=.ms) $(<:.texi=.gps)
+
+# using tetex: texi -> dvi -> pdf
+.texi.pdf:
+ texi2pdf $< -o $@
+
+clean-local:
+ rm -f $(pdf_TEXINFOS:.texi=.pdf)
+
EXTRA_DIST = \
AUTHORS \
COPYING \