Mentions légales du service

Skip to content
Snippets Groups Projects
Commit b43ce64f authored by Laurent Hascoet's avatar Laurent Hascoet
Browse files

Merge branch 'develop' of gitlab.inria.fr:tapenade/userdoc into develop

parents d5dc964e 80b6c04a
No related branches found
No related tags found
1 merge request!6Develop
This commit is part of merge request !6. Comments created here will be created in the context of that merge request.
Showing
with 0 additions and 4 deletions
......@@ -20,10 +20,6 @@ help:
mkdir -p $(BUILDDIR)/html
(echo -n "Version: "; git describe --tags) > $(BUILDDIR)/html/gittagdoc.html
@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
cp $(SOURCEDIR)tapenade/*.gif $(BUILDDIR)/html/tapenade
install:
cp -R build /net/servers/www-sop/teams/ecuador/tapenade-doc
clean:
/bin/rm -rf $(BUILDDIR)
File moved
File moved
File moved
File moved
File moved
File moved
File moved
File moved
File moved
File moved
File moved
File moved
File moved
File moved
File moved
File moved
File moved
File moved
File moved
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment