18 stdenv.mkDerivation rec {
19 pname = "linuxdoc-tools";
22 src = fetchFromGitLab {
24 repo = "linuxdoc-tools";
26 hash = "sha256-8nsCfcxqVt16br6Vhk8tW3cxJMJFSZYX2g3MjO7JoT4=";
36 ("--enable-docs=txt info lyx html rtf" + lib.optionalString withLatex " pdf")
42 wrapProgram $out/bin/linuxdoc \
49 --prefix PERL5LIB : "$out/share/linuxdoc-tools/"
52 doInstallCheck = true;
54 installCheckPhase = ''
56 substituteInPlace Makefile \
57 --replace "COMMAND=linuxdoc" "COMMAND=$out/bin/linuxdoc" \
58 ${lib.optionalString (!withLatex) "--replace '.tex .dvi .ps .pdf' ''"}
76 ] ++ lib.optionals withLatex [ texliveMedium ];
79 description = "Toolset for processing LinuxDoc DTD SGML files";
81 A collection of text formatters which understands a LinuxDoc DTD SGML
82 source file. Each formatter (or "back-end") renders the source file into
83 a variety of output formats, including HTML, TeX, DVI, PostScript, plain
84 text, and groff source in manual-page format. The linuxdoc suite is
85 provided for backward compatibility, because there are still many useful
86 documents written in LinuxDoc DTD sgml source.
88 homepage = "https://gitlab.com/agmartin/linuxdoc-tools";
89 license = with licenses; [
94 platforms = platforms.linux;
95 maintainers = with maintainers; [ p-h ];