···11+{ lib
22+, stdenv
33+, fetchFromGitHub
44+, autoreconfHook
55+}:
66+77+stdenv.mkDerivation rec {
88+ pname = "robodoc";
99+ version = "4.99.44";
1010+1111+ src = fetchFromGitHub {
1212+ owner = "gumpu";
1313+ repo = "ROBODoc";
1414+ rev = "v${version}";
1515+ sha256 = "l3prSdaGhOvXmZfCPbsZJNocO7y20zJjLQpajRTJOqE=";
1616+ };
1717+1818+ nativeBuildInputs = [ autoreconfHook ];
1919+2020+ hardeningDisable = [ "format" ];
2121+2222+ meta = with lib; {
2323+ homepage = "https://github.com/gumpu/ROBODoc";
2424+ description = "Documentation Extraction Tool";
2525+ longDescription = ''
2626+ ROBODoc is program documentation tool. The idea is to include for every
2727+ function or procedure a standard header containing all sorts of
2828+ information about the procedure or function. ROBODoc extracts these
2929+ headers from the source file and puts them in a separate
3030+ autodocs-file. ROBODoc thus allows you to include the program
3131+ documentation in the source code and avoid having to maintain two separate
3232+ documents. Or as Petteri puts it: "robodoc is very useful - especially for
3333+ programmers who don't like writing documents with Word or some other
3434+ strange tool."
3535+3636+ ROBODoc can format the headers in a number of different formats: HTML,
3737+ RTF, LaTeX, or XML DocBook. In HTML mode it can generate cross links
3838+ between headers. You can even include parts of your source code.
3939+4040+ ROBODoc works with many programming languages: For instance C, Pascal,
4141+ Shell Scripts, Assembler, COBOL, Occam, Postscript, Forth, Tcl/Tk, C++,
4242+ Java -- basically any program in which you can use remarks/comments.
4343+ '';
4444+ license = with licenses; gpl3Plus;
4545+ maintainers = with maintainers; [ AndersonTorres ];
4646+ platforms = with platforms; all;
4747+ };
4848+}