mirrors/home-manager
1
0
Fork 0
mirror of https://github.com/nix-community/home-manager.git synced 2024-12-14 11:57:55 +00:00
Code Activity

gitlab-ci: build HTML manual in a simpler way

Browse source
This commit is contained in:
Robert Helgesson 2021-12-16 23:36:49 +01:00
parent 25e5a900de
commit 6c6f934f0b
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89
1 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
.gitlab-ci.yml
View file

@ -18,11 +18,9 @@ Run tests:
pages: pages:
stage: deploy stage: deploy
script: script:
- mkdir -p ~/.config/nixpkgs - nix-build -A docs.html
- echo '{ manual.html.enable = true; }' > ~/.config/nixpkgs/home.nix
- nix-shell . -A install
- mkdir public - mkdir public
- cp -r ~/.nix-profile/share/doc/home-manager/* public/ - cp -r ./result/share/doc/home-manager/* public/
artifacts: artifacts:
paths: paths:
- public - public