the-distro/channel-scripts
1
0
Fork 1
Code Issues 8 Pull requests Packages Projects Releases Wiki Activity

* Fix manual job name.

Browse source 
git-svn-id: https://nixos.org/repos/nix/release/trunk/channels@34797 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb
This commit is contained in:
Eelco Dolstra 2013-11-01 15:56:22 +00:00
parent ba7e9f67e5
commit f4d7120ddd
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
mirror-nixos-branch.sh
View file

@ -40,7 +40,7 @@ else
echo $url > $tmpDir/src-url
# Copy the manual.
$curl -L $url/job/nixos.manual/output/out | bzip2 -d | nix-store --restore $tmpDir/foo
$curl -L $url/job/nixos.manual.x86_64-linux/output/out | bzip2 -d | nix-store --restore $tmpDir/foo
mv $tmpDir/foo/share/doc/nixos $tmpDir/manual
rm -rf $tmpDir/foo
ln -s manual.html $tmpDir/manual/index.html