Index: doc/user/Makefile
===================================================================
--- doc/user/Makefile	(revision 3be81a4f4d89f40c05e9d5218b3b49580d239127)
+++ doc/user/Makefile	(revision 8dc6f84be0641884162ae1c3f27f808c8b0a97bb)
@@ -6,5 +6,6 @@
 TeXLIB = .:${Macros}:${Build}:
 LaTeX  = TEXINPUTS=${TeXLIB} && export TEXINPUTS && latex -halt-on-error -output-directory=${Build}
-BibTeX = BIBINPUTS=../bibliography: && export BIBINPUTS && bibtex
+BibDir = ../bibliography
+BibTeX = BIBINPUTS=${BibDir}: && export BIBINPUTS && bibtex
 
 MAKEFLAGS = --no-print-directory --silent #
@@ -61,5 +62,5 @@
 
 ${BASE}.dvi : Makefile ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} ${Macros}/common.tex ${Macros}/common.sty \
-		${Macros}/lstlang.sty ${Macros}/indexstyle ../bibliography/pl.bib build/version | ${Build}
+		${Macros}/lstlang.sty ${Macros}/indexstyle ${BibDir}/pl.bib build/version | ${Build}
 	# Conditionally create an empty *.ind (index) file for inclusion until makeindex is run.
 	if [ ! -r ${basename $@}.ind ] ; then touch ${Build}/${basename $@}.ind ; fi