diff options
author | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-11-03 14:21:31 +0000 |
---|---|---|
committer | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-11-03 14:21:31 +0000 |
commit | a41b58e5a1125a3fd67be575c66040bfb2deb599 (patch) | |
tree | 112cb7c092c1cab1001c653f770b4ece8e4c785e /Makefile.distrib | |
parent | f11fca938945333a44a20316f49b9593ce6f7d74 (diff) | |
download | scala-a41b58e5a1125a3fd67be575c66040bfb2deb599.tar.gz scala-a41b58e5a1125a3fd67be575c66040bfb2deb599.tar.bz2 scala-a41b58e5a1125a3fd67be575c66040bfb2deb599.zip |
If a variable SKIP_DOC is set (whatever its val...
If a variable SKIP_DOC is set (whatever its value) distrib does not
generate the latex documentation.
Diffstat (limited to 'Makefile.distrib')
-rw-r--r-- | Makefile.distrib | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.distrib b/Makefile.distrib index be584ea9be..823abbf753 100644 --- a/Makefile.distrib +++ b/Makefile.distrib @@ -124,8 +124,10 @@ INSTALL_MSIL_DLLFILE = $(INSTALL_LIBDIR)/scala.dll install : $(LIBRARY_JAR_ARCHIVE) install : $(TOOLS_JAR_ARCHIVE) +ifndef SKIP_DOC $(MAKE) -C $(DOCUMENTS_ROOT)/reference $(MAKE) -C $(DOCUMENTS_ROOT)/tutorial +endif $(INSTALL) -m 755 -d $(INSTALL_DOCDIR) $(INSTALL) -m 644 -p $(PROJECT_ROOT)/README $(INSTALL_DOCDIR) $(INSTALL) -m 644 -p $(PROJECT_ROOT)/LICENSE $(INSTALL_DOCDIR) @@ -160,8 +162,10 @@ install : $(TOOLS_JAR_ARCHIVE) $(INSTALL) -m 755 -d $(INSTALL_SRCDIR) $(strip $(MIRROR) -m 644 -p -C $(LIBRARY_ROOT) $(LIBRARY_LIST:%='%') \ $(INSTALL_SRCDIR)/$(PROJECT_NAME)) +ifndef SKIP_DOC $(INSTALL) -m 755 -d $(INSTALL_DOCDIR) $(INSTALL) -m 644 -p $(DOCUMENTS_FILES) $(INSTALL_DOCDIR) +endif $(INSTALL) -m 755 -d $(INSTALL_APIDOCDIR) @$(make) \ target=LIBRARY \ |