Add a docker dev setup

config.cfg.docker

@@ -0,0 +1,32 @@
+### BUILD DIRECTORIES ###
+
+# Cloned Git directory (repository with XHTML source files)
+LOC_trunk=/fsfe-local-build/fsfe-website
+
+# Directory in which the result of the build process (html files) will be saved
+LOC_out=/fsfe-local-build/fsfe.org
+
+
+### LOCAL WEBSERVER ###
+
+# Choose your local webserver. 
+# Default is "python" which is python3's built-in http.server module (SimpleHTTP) that is available on most distributions
+# Use "lighttpd" if you want to use the Lighttpd webserver. This has to be configured manually (see guide)
+HTTPD=lighttpd
+
+
+### ADVANCED ###
+
+# Directory of the secondary Git directory with which you made a first full build. 
+# Avoids having some generated files in your clean trunk. 
+# Default: Leave empty if you just want to use one Git source directory (recommended)
+LOC_trunk_dev=
+
+# Choose on which port the webserver runs. This has no effect for "lighttpd". 
+HTTPD_port=5080
+
+# If you use other webservers like "lighttpd", this is the path to its config file 
+# Default: points to a lighttpd config file in the same directory as the script
+# Has no effect if you use the "python" webserver
+HTTPD_conf=$ROOT/lighttpd-fsfe.conf
+