Process feedback

Author: jordikroon

.editorconfig

@@ -9,4 +9,4 @@ indent_size = 1
 indent_style = space
 end_of_line = lf
 insert_final_newline = true
-trim_trailing_whitespace = false
+trim_trailing_whitespace = true

.gitignore

@@ -1,4 +1,2 @@
-entities.*.xml
-output
-.docker/built
+output/
 temp/

Makefile

@@ -18,17 +18,17 @@ ifneq ($(wildcard ../phd/LICENSE),)
 	PATHS += -v ${PWD}/../phd:/var/www/phd
 endif
 
-xhtml: .docker/built
+xhtml: temp/.dockerbuilt
 	docker run --rm ${PATHS} -w /var/www -u ${CURRENT_UID}:${CURRENT_GID} php/doc-extensions
 
-php: .docker/built
+php: temp/.dockerbuilt
 	docker run --rm ${PATHS} -w /var/www -u ${CURRENT_UID}:${CURRENT_GID} \
 		-e FORMAT=php php/doc-extensions
 
-build: .docker/built
+build: temp/.dockerbuilt
 
-.docker/built: .docker/Dockerfile
+temp/.dockerbuilt: .docker/Dockerfile
 	docker build \
 		--build-arg UID=${CURRENT_UID} --build-arg GID=${CURRENT_GID} \
 		.docker -t php/doc-extensions
-	touch .docker/built
+	touch temp/.dockerbuilt