diff --git a/server-ce/.gitignore b/server-ce/.gitignore index 8dd120550d..b2cbe4ce63 100644 --- a/server-ce/.gitignore +++ b/server-ce/.gitignore @@ -11,6 +11,7 @@ docstore tags chat spelling +real-time data tmp diff --git a/server-ce/Gruntfile.coffee b/server-ce/Gruntfile.coffee index 6f618a8850..d9c5114557 100644 --- a/server-ce/Gruntfile.coffee +++ b/server-ce/Gruntfile.coffee @@ -12,6 +12,10 @@ SERVICES = [{ name: "web" repo: "https://github.com/sharelatex/web-sharelatex.git" version: "master" +}, { + name: "real-time" + repo: "https://github.com/sharelatex/real-time-sharelatex.git" + version: "master" }, { name: "document-updater" repo: "https://github.com/sharelatex/document-updater-sharelatex.git"