[project @ 2002-02-22 21:40:38 by panne]

To get references right, re-run LaTeX twice after BibTeX

diff --git a/ghc/docs/storage-mgt/Makefile b/ghc/docs/storage-mgt/Makefile
index d6373d7..ee543f3 100644 (file)
--- a/ghc/docs/storage-mgt/Makefile
+++ b/ghc/docs/storage-mgt/Makefile
@@ -11,6 +11,8 @@ ps: sm.ps rp.ps ldv.ps
 %.dvi: %.tex $(addsuffix .tex, $(basename $(wildcard *.verb))) $(wildcard *.bib)\r
        latex $<\r
        @if grep -s "\citation" $*.aux; then bibtex $*; fi\r
+       latex $<\r
+       latex $<\r
 \r
 %.ps: %.dvi\r
        dvips -f < $< > $@\r