devtools: deploy hackdoc&depotview

Change-Id: If7ee65a99fae29f5015bb8ee8bb23e83c0f7dd3a
diff --git a/devtools/kube/prod.jsonnet b/devtools/kube/prod.jsonnet
new file mode 100644
index 0000000..add1899
--- /dev/null
+++ b/devtools/kube/prod.jsonnet
@@ -0,0 +1,26 @@
+local mirko = import "../../kube/mirko.libsonnet";
+
+local depotview = import "depotview.libsonnet";
+local hackdoc = import "hackdoc.libsonnet";
+
+{
+    devtools(name):: mirko.Environment(name) {
+        local env = self,
+        local cfg = self.cfg,
+        
+        cfg+: {
+            depotview: depotview.cfg,
+            hackdoc: hackdoc.cfg {
+                publicFQDN: "hackdoc.hackerspace.pl",
+            },
+        },
+
+        components: {
+            depotview: depotview.component(cfg.depotview, env),
+            hackdoc: hackdoc.component(cfg.hackdoc, env),
+        },
+    },
+
+    prod: self.devtools("devtools-prod") {
+    },
+}