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-----