Changes in doc/user/Makefile [484ee53:fb16d5c]

File:

• doc/user/Makefile (modified) (2 diffs)

doc/user/Makefile

@@ -57 +57 @@
         dvips ${Build}/$< -o $@
 
-${BASE}.dvi : Makefile ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} \
-                ${Macros}/common.tex ${Macros}/lstlang.sty ${Macros}/indexstyle ../bibliography/pl.bib | ${Build}
+${BASE}.dvi : Makefile ${Build} ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} \
+                ${Macros}/common.tex ${Macros}/lstlang.sty ${Macros}/indexstyle ../bibliography/pl.bib
         # Conditionally create an empty *.ind (index) file for inclusion until makeindex is run.
         if [ ! -r ${basename $@}.ind ] ; then touch ${Build}/${basename $@}.ind ; fi
@@ -79 +79 @@
         mkdir -p ${Build}
 
-%.tex : %.fig | ${Build}
+%.tex : %.fig ${Build}
         fig2dev -L eepic $< > ${Build}/$@
 
-%.ps : %.fig | ${Build}
+%.ps : %.fig ${Build}
         fig2dev -L ps $< > ${Build}/$@
 
-%.pstex : %.fig | ${Build}
+%.pstex : %.fig ${Build}
         fig2dev -L pstex $< > ${Build}/$@
         fig2dev -L pstex_t -p ${Build}/$@ $< > ${Build}/$@_t