diff options
author | 2004-03-17 17:38:30 +0000 | |
---|---|---|
committer | 2004-03-17 17:38:30 +0000 | |
commit | ad4c5a227ba70f01a4970767ccf69a7b79e16a39 (patch) | |
tree | 812439160b7ee5275b7b7b7d1855cbb2faecdd46 /Makefile | |
parent | 5855215c24e6e0e36faef51ab1d0102170eb7999 (diff) |
install de coqdoc
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5523 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 12 |
1 files changed, 5 insertions, 7 deletions
@@ -1152,6 +1152,7 @@ FULLBINDIR=$(COQINSTALLPREFIX)$(BINDIR) FULLCOQLIB=$(COQINSTALLPREFIX)$(COQLIB) FULLMANDIR=$(COQINSTALLPREFIX)$(MANDIR) FULLEMACSLIB=$(COQINSTALLPREFIX)$(EMACSLIB) +FULLCOQDOCDIR=$(COQINSTALLPREFIX)$(COQDOCDIR) install-coq: install-binaries install-library install-coq-info install-coq8: install-binaries install-library8 install-coq-info @@ -1232,16 +1233,13 @@ install-emacs: $(MKDIR) $(FULLEMACSLIB) cp tools/coq.el tools/coq-inferior.el $(FULLEMACSLIB) -# where to put the coqdoc style file -TEXDIR = $(BASETEXDIR)/tex/latex/misc - # command to update TeX' kpathsea database -UPDATETEX = $(MKTEXLSR) /usr/share/texmf /var/spool/texmf $(BASETEXDIR) > /dev/null +#UPDATETEX = $(MKTEXLSR) /usr/share/texmf /var/spool/texmf $(BASETEXDIR) > /dev/null install-latex: - $(MKDIR) $(TEXDIR) - cp tools/coqdoc/coqdoc.sty $(TEXDIR) - -$(UPDATETEX) + $(MKDIR) $(FULLCOQDOCDIR) + cp tools/coqdoc/coqdoc.sty $(FULLCOQDOCDIR) +# -$(UPDATETEX) ########################################################################### # Documentation |