Hi, not sure if this is the correct mailing list.
In [1] a user complained that the manual page of pdftex does not mention the option -synctex. Attached is a little patch, which fixes the glitch, please consider to add it to the manual page. Thanks, Hilmar [1] https://bugs.debian.org/772928 -- sigfault #206401 http://counter.li.org
Index: texlive-bin/texk/web2c/man/pdftex.man =================================================================== --- texlive-bin.orig/texk/web2c/man/pdftex.man 2019-07-05 13:07:55.356120065 +0200 +++ texlive-bin/texk/web2c/man/pdftex.man 2019-08-01 14:40:56.094286543 +0200 @@ -301,6 +301,11 @@ .I PDF mode. .TP +.BI -synctex \ NUMBER +generate SyncTeX data for previewers according to bits of NUMBER. See the +.I synctex +manual page for details. +.TP .BI -translate-file \ tcxname Use the .I tcxname @@ -316,6 +321,9 @@ .TP .B -version Print version information and exit. +.TP +.B -8bit +make all characters printable by default. .\"===================================================================== .SH ENVIRONMENT See the Kpathsea library documentation (e.g., the `Path specifications'
signature.asc
Description: OpenPGP digital signature
