diff options
Diffstat (limited to 'doc/project.am')
| -rw-r--r-- | doc/project.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/project.am b/doc/project.am index 2c19dc25de..5f95b263e6 100644 --- a/doc/project.am +++ b/doc/project.am @@ -65,7 +65,7 @@ dvi_DATA = $(PROJECT).dvi if USE_PS ps_DATA = $(PROJECT).ps .dvi.ps: - TEXINPUTS=$(srcdir):$$TEXINPUTS \ + TEXINPUTS="$(srcdir)$(PATH_SEPARATOR)$$TEXINPUTS" \ $(DVIPS) $< -o $@ endif # USE_PS |