Gnat, make, Gnu/Emacs, source-highlight, man2html, PragmARC