[project @ 2002-02-22 21:34:31 by panne]

Avoid re-generating primops.txt

diff --git a/ghc/docs/ext-core/Makefile b/ghc/docs/ext-core/Makefile
index 13e3a43..af60181 100644 (file)
--- a/ghc/docs/ext-core/Makefile
+++ b/ghc/docs/ext-core/Makefile
@@ -6,8 +6,10 @@ core.dvi:      core.tex prims.tex
                latex core.tex\r
                latex core.tex\r
 \r
-prims.tex:     ../../compiler/prelude/primops.txt.pp\r
+../../compiler/prelude/primops.txt: ../../compiler/prelude/primops.txt.pp\r
                (cd ../../compiler/prelude; gcc -E -I../../includes -traditional -x c primops.txt.pp | /bin/sed -e '/^#/d' > primops.txt)\r
+\r
+prims.tex:     ../../compiler/prelude/primops.txt\r
                ../../utils/genprimopcode/genprimopcode --make-latex-doc < ../../compiler/prelude/primops.txt > prims.tex\r
 \r
 \r