diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ChangeLog | 4 | ||||
| -rw-r--r-- | doc/project.am | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 27919d3985..80352bf050 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,7 @@ +2002-06-14 Ralf Corsepius <corsepiu@faw.uni-ulm.de> + + * project.am: Use PATH_SEPARATOR to setup TEXINPUTS. + 2002-04-10 Ralf Corsepius <corsepiu@faw.uni-ulm.de> * VERSION, bootstrap: Removed as unneeded. 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 |