From 86c66f232810b50294e9aec23f71fefe5d44ca4a Mon Sep 17 00:00:00 2001 From: panne Date: Fri, 22 Feb 2002 21:34:31 +0000 Subject: [PATCH] [project @ 2002-02-22 21:34:31 by panne] Avoid re-generating primops.txt --- ghc/docs/ext-core/Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/ghc/docs/ext-core/Makefile b/ghc/docs/ext-core/Makefile index 13e3a43..af60181 100644 --- 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 latex core.tex -prims.tex: ../../compiler/prelude/primops.txt.pp +../../compiler/prelude/primops.txt: ../../compiler/prelude/primops.txt.pp (cd ../../compiler/prelude; gcc -E -I../../includes -traditional -x c primops.txt.pp | /bin/sed -e '/^#/d' > primops.txt) + +prims.tex: ../../compiler/prelude/primops.txt ../../utils/genprimopcode/genprimopcode --make-latex-doc < ../../compiler/prelude/primops.txt > prims.tex -- 1.7.10.4