diff options
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/synctex-pdftex.h')
| -rw-r--r-- | Build/source/texk/web2c/synctexdir/synctex-pdftex.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/synctexdir/synctex-pdftex.h b/Build/source/texk/web2c/synctexdir/synctex-pdftex.h index 7b936ebe38c..b3a0ece2d5e 100644 --- a/Build/source/texk/web2c/synctexdir/synctex-pdftex.h +++ b/Build/source/texk/web2c/synctexdir/synctex-pdftex.h @@ -50,10 +50,11 @@ Thu Jun 19 09:39:21 UTC 2008 # include "pdftexd.h" +extern char *generic_synctex_get_current_name(void); /* We observe pdfoutputvalue in order to determine whether output mode is * pdf or dvi. * We will assume that pdf_output_value equals pdf_output before entering * the synctex_sheet function below, in the including synctex.c file. */ # define SYNCTEX_OFFSET_IS_PDF (pdfoutputvalue>0) # define SYNCTEX_OUTPUT ((pdfoutputvalue>0)?"pdf":"dvi") - +# define SYNCTEX_GET_CURRENT_NAME() generic_synctex_get_current_name() |