Merge pull request #72725 from 1000101/dokuwiki

dokuwiki: init at 2018-04-22b
This commit is contained in:
Marek Mahut 2019-11-03 18:20:48 +01:00 committed by GitHub
commit 084ae71601
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 28 additions and 0 deletions

View file

@ -0,0 +1,26 @@
{ stdenv, fetchFromGitHub }:
stdenv.mkDerivation rec {
pname = "dokuwiki";
version = "2018-04-22b";
src = fetchFromGitHub {
owner = "splitbrain";
repo = "${pname}";
rev = "release_stable_${version}";
sha256 = "1na5pn4j4mi2la80ywzg1krwqdxz57mjkw0id6ga9rws809gkdjp";
};
installPhase = ''
mkdir -p $out/share/dokuwiki
cp -r * $out/share/dokuwiki
'';
meta = with stdenv.lib; {
description = "Simple to use and highly versatile Open Source wiki software that doesn't require a database";
license = licenses.gpl2;
homepage = "https://www.dokuwiki.org";
platforms = platforms.all;
maintainers = [ maintainers."1000101" ];
};
}

View file

@ -1557,6 +1557,8 @@ in
doitlive = callPackage ../tools/misc/doitlive { };
dokuwiki = callPackage ../servers/web-apps/dokuwiki { };
dosage = callPackage ../applications/graphics/dosage {
pythonPackages = python3Packages;
};