From 5dc05fda681ff732ef6df607a2637bd1e8c86cc3 Mon Sep 17 00:00:00 2001
From: panne <unknown>
Date: Fri, 22 Feb 2002 21:40:38 +0000
Subject: [PATCH] [project @ 2002-02-22 21:40:38 by panne] To get references
 right, re-run LaTeX twice after BibTeX

---
 ghc/docs/storage-mgt/Makefile |    2 ++
 1 file changed, 2 insertions(+)

diff --git a/ghc/docs/storage-mgt/Makefile b/ghc/docs/storage-mgt/Makefile
index d6373d7..ee543f3 100644
--- 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)
 	latex $<
 	@if grep -s "\citation" $*.aux; then bibtex $*; fi
+	latex $<
+	latex $<
 
 %.ps: %.dvi
 	dvips -f < $< > $@
-- 
1.7.10.4