server "rgoncalves.se" {
	listen on * port 80
	root "/htdocs/rgoncalves.se"

	location "/public/*" {
		directory auto index
	}

	location "/semester_*/*" {
		directory auto index
	}
}

types {
	text/css		css
	text/html		html htm
	text/plain		txt pgp
	image/gif		gif
	image/jpeg		jpeg jpg
	image/png		png
}