[pdftex] Add option -synctex to pdftex(1)

[Hilmar Preuße]

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
-------------- next part --------------
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'
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <https://tug.org/pipermail/pdftex/attachments/20190802/1f532c74/attachment.sig>