Merge branch 'fix/ivette/makefile' into 'master'

[ivette] Fixes dome template makefile: removes gitignore target.

See merge request frama-c/frama-c!3975

ivette/src/dome/template/makefile

@@ -148,7 +148,6 @@ endif
 .PHONY: dome-templ dome-reboot
 
 DOME_MK_TEMPLATES= \
-	.gitignore \
 	.babelrc \
 	webpack.main.js \
 	webpack.renderer.js \
@@ -164,11 +163,6 @@ dome-reboot:
 
 # Templated files
 
-ifeq ("$(DOME)",".")
-.gitignore:
-	@cp -f $(DOME)/template/git-ignore $@
-endif
-
 .babelrc: $(DOME)/template/update.sh $(DOME)/template/babelrc.json
 	@$^ $@