diff options
author | Ben Siraphob <bensiraphob@gmail.com> | 2020-10-26 11:08:40 +0700 |
---|---|---|
committer | Jon <jonringer@users.noreply.github.com> | 2020-10-27 09:15:07 -0700 |
commit | db74029e3e9b884731f0753f605e2d838b70afb0 (patch) | |
tree | 01cf8e94b0b6090765c01ad54f5c7dd8444bce06 /pkgs/applications/science/logic/coq2html/default.nix | |
parent | 7371c2cc9bf813ae52bebff357e4bf3070879bbf (diff) |
treewide: remove package names from prefix of descriptions
Diffstat (limited to 'pkgs/applications/science/logic/coq2html/default.nix')
-rw-r--r-- | pkgs/applications/science/logic/coq2html/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/coq2html/default.nix b/pkgs/applications/science/logic/coq2html/default.nix index 2e56eda893e9..e53e8e7392c0 100644 --- a/pkgs/applications/science/logic/coq2html/default.nix +++ b/pkgs/applications/science/logic/coq2html/default.nix @@ -1,6 +1,6 @@ { stdenv, fetchgit, ocaml }: -let +let version = "20170720"; in @@ -22,7 +22,7 @@ stdenv.mkDerivation { ''; meta = with stdenv.lib; { - description = "coq2html is an HTML documentation generator for Coq source files"; + description = "HTML documentation generator for Coq source files"; longDescription = '' coq2html is an HTML documentation generator for Coq source files. It is an alternative to the standard coqdoc documentation generator |