> On May 24, 2017, at 11:43 AM, Geert Janssens
> wrote:
>
> On woensdag 24 mei 2017 17:16:41 CEST Derek Atkins wrote:
>> Michael Ferrara writes:
>>>There's no good way to translate from Wiki to PDF
>>>
>>> Really? PDF can handle hard links
On woensdag 24 mei 2017 17:16:41 CEST Derek Atkins wrote:
> Michael Ferrara writes:
> > There's no good way to translate from Wiki to PDF
> >
> > Really? PDF can handle hard links within a document. Reference books with
>
> Yes, really. And it's more than just PDF. We
Adrien Monteleone writes:
> On that note, I already knew about html2pdf for *nix, but even better
> - there’s this: Extension:Pdf_Export on the mediawiki site.
Docs are in HTML, PDF, Mobi, and I believe one more format. There's no
tool that I'm aware of that will
Adrien Monteleone writes:
> I’m certainly no expert on the matter and I have no beef with the GIT
> process for documentation, but that seems odd at first glance since
> wikis are markdown inside HTML which is a subset of XML which the doc
> procedures turn into PDF.
Adonay Felipe Nogueira writes:
> Personally, I think this would be mostly solved by switching to TeXInfo,
> or to Org Mode. The latter also supports TeXInfo publication.
What's wrong with Docbook?
-derek
--
Derek Atkins, SB '93 MIT EE, SM '95 MIT Media