diff options
author | 1999-08-20 15:12:41 +0000 | |
---|---|---|
committer | 1999-08-20 15:12:41 +0000 | |
commit | cd9afd3c84949dff733ab59f3bf838bc5863b532 (patch) | |
tree | 1fc1f25ea904c6fec7ab61bda63d20e5bbd66e28 /Makefile | |
parent | e08245e74ef52395052b926fc39d79e52f59af09 (diff) |
programmation literaire : un fichier de description par repertoire
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@19 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -36,8 +36,9 @@ OBJS=$(CONFIG) $(LIB) $(KERNEL) world: $(OBJS) -MLI=$(OBJS:.cmo=.mli) -LPFILES=doc/macros.tex $(MLI) +LPLIB = lib/doc.tex $(LIB:.cmo=.mli) +LPKERNEL = kernel/doc.tex $(KERNEL:.cmo=.mli) +LPFILES = doc/macros.tex doc/intro.tex $(LPLIB) $(LPKERNEL) lp: doc/coq.ps doc/coq.ps: doc/coq.tex cd doc; make coq.ps |