Enable doc build on domserver.

eldering · DOMjudge @ NWERC · commit d818888ce7b0 · 2017-10-03T21:06:27.000+01:00
diff --git a/icpc-wf/ansible/domserver.yml b/icpc-wf/ansible/domserver.yml
@@ -96,7 +96,7 @@
     - name: run maintainer-conf
       become: yes
       become_user: domjudge
-      command: make maintainer-conf CONFIGURE_FLAGS='--disable-doc-build'
+      command: make maintainer-conf
       register: dj_configured
       args:
         chdir: "{{DJDIR}}"
