Add option -synctex to pdftex(1)

Hilmar Preuße <hille42-S0/[email protected]> Fri, 2 Aug 2019 11:14:18 +0200
Newsgroups gmane.comp.tex.pdftex
Message-ID <[email protected]>
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
synctex_pdftex_man.patch (text/plain, 805 B)
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 (application/pgp-signature, 833 B)
-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEaXGmC/nkbIhxf16kxiZYRqvgLIsFAl1D/uoACgkQxiZYRqvg
LIvizRAAu3s7h0goUel4NMdQ6Y9cp3dd1+V3tZqB2rBOKtvVOSaV1aPf6GFoJ+kP
htxABEKgHtxMm0LWJf3ZxBQcQfJf8bhIe+Flw8uaG7oX83ar9t2PrMsJge5yXYjL
THYM5JJyebZ3LYajbH26gY9fumuU5sOZevay+z16IgNl9Qad3eOZJicUuHBDVUlZ
AFOKIZBsL1P5C0DwsKItRlDs9CXm4po8zljtL31iI9PLTK6cPyEsM/3aCrENpyi9
tsUkUcYumjuXvYDr5duABCIjHLqolFvsQsJq+jpj80UMjYxLvDT0Re/V0f6tU+8j
zBb86yLkbvu9TChimd6jvlJ5gwxUvW8NUFiBeyQIEqYnevnQdtiM3iMb0q+n5Eyc
LHR9BmkhNC1ocG74XB3DnfcYhLpuskgKvJhmmJqUK9YjotI+M4b2ffTMdoCoS6Ae
tnkUQ06rUW0e+eGPoild//9eklT9rl9LdvQVag5nSdY7eI5Nvu7apHOUKAbBs/v0
kQgjHdyiqVGbA+xilIRwZGQvinGgV4TG9YVsA3ttpvgKplpc5NVyjqfPM/pouiNa
j8bF6iSAokDhdJUi2elPwyVlsnYpU/GxnUrmTRZ7cI4wlbw0zEvwOGeWiOoxDOPq
Q723WlTBjY31oBbotyBkFw3KidIf5GZxToc1LvD6OpMr5UKNdzg=
=zMQx
-----END PGP SIGNATURE-----