Re: Some Assistance Please

2017-05-24 Thread Adrien Monteleone
> 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

Re: Some Assistance Please

2017-05-24 Thread Geert Janssens
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

Re: Some Assistance Please

2017-05-24 Thread Derek Atkins
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

Re: Some Assistance Please

2017-05-24 Thread Derek Atkins
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.

Re: Some Assistance Please

2017-05-24 Thread Derek Atkins
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