From 8e05229e62c2c3a9d1afe2495fc411e705076112 Mon Sep 17 00:00:00 2001
From: Robert Helgesson <robert@rycee.net>
Date: Mon, 20 Aug 2018 21:04:16 +0200
Subject: [PATCH] Add initial GitLab CI configuration

This will automatically build and publish the Home Manager manual on
GitLab Pages.
---
 .gitlab-ci.yml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 .gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 000000000..18f19731e
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,14 @@
+image: nixos/nix:latest
+
+pages:
+  script:
+    - mkdir -p ~/.config/nixpkgs
+    - echo '{ manual.html.enable = true; }' > ~/.config/nixpkgs/home.nix
+    - nix-shell . -A install
+    - mkdir public
+    - cp -r ~/.nix-profile/share/doc/home-manager/* public/
+  artifacts:
+    paths:
+      - public
+  only:
+    - master