Klub-RZ/infrastructure
4
0
Fork 0
Code Issues 7 Pull requests Projects Releases Packages Wiki Activity

WIP: dokuwiki #10

Closed
sinavir wants to merge 13 commits from deploy_dokuwiki into master
pull from: deploy_dokuwiki
merge into: Klub-RZ:master
Conversation 5 Commits 13 Files changed 8 -6
1 changed files with 0 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit 60c8f69de4 - Show all commits

6
machines/public-cof/wiki.nix
View file

@ -66,12 +66,6 @@ in
installPhase = ''
mkdir -p $out
cp -R * $out/
rm $out/images/logo.png
rm $out/images/favicon.ico
rm $out/images/apple-touch-icon.png
ln -s ${logo} $out/images/logo.png
ln -s ${favicon} $out/images/favicon.ico
ln -s ${apple-touch-icon} $out/images/apple-touch-icon.png
echo "<?php define('DOKU_INC', getenv('DOKUWIKI_ROOT'));" > $out/doku_inc.php # Lien vers le dokuwiki
'';
};