From dbb58b39d9007b7c79ce67518f089eb7b09d166d Mon Sep 17 00:00:00 2001 From: holger krekel Date: Fri, 27 Feb 2015 12:53:14 +0100 Subject: [PATCH] switch to push to latest docs, because otherwise people get misled to old repos which don't exist anymore --HG-- branch : docs_community --- doc/en/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/en/Makefile b/doc/en/Makefile index abffd92bb..ee5f6d9cd 100644 --- a/doc/en/Makefile +++ b/doc/en/Makefile @@ -42,7 +42,7 @@ help: clean: -rm -rf $(BUILDDIR)/* -SITETARGET=dev +SITETARGET=latest install: html # for access talk to someone with login rights to