diff options
author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2011-05-11 10:11:31 +0000 |
---|---|---|
committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2011-05-11 10:11:31 +0000 |
commit | a90acc5dd1469772046478ad5242406fb5768904 (patch) | |
tree | 48973aaea473061cac78023b7ee76de8c2d7419f /Build/source/texk/web2c/synctexdir/synctex-pdftex.h | |
parent | 4369b0bd4e140cf2e78637ce3915445235d3c5bf (diff) |
fix a SyncTeX bug in the case where --output-directory option is given.
git-svn-id: svn://tug.org/texlive/trunk@22424 c570f23f-e606-0410-a88d-b1316a301751
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() |