[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lojban] Re: CLL: A princely gift; now would be a good time to help

On Mon, Sep 22, 2014 at 04:59:26AM -0700, TR NS wrote:
> 
> 
> On Monday, September 22, 2014 5:02:20 AM UTC-4, Robin Powell wrote:
> >
[snip]
> > The required software now is just docbook itself (on my Fedora
> > system that's just "sudo yum install docbook5-style-xsl"), and
> > the free/test version of Prince, and probably the DejaVu font,
> > so it should be easy for people to help. 
>
> I am a little confused. What has changed? If docbook is still
> being used, how did bringing Prince into the picture help?

The problem was always getting from docbook to PDF, and more
specifically getting from docbook to both PDF and HTML without
duplicating a *ton* of work.  The previous method was to turn the
docbook into HTML and then do a ton of CSS customization work, *and
also* turn docbook into LaTeX via dblatex and then do a ton of LaTeX
customization work, frequently on exactly the same issues as the
CSS.

With Prince, we turn the docbook into HTML, and then use one CSS for
display and one for print.  The two CSS files even share much of
their content.

(This isn't actually *quite* true; the docbook -> HTML step has
slightly different config values for the display run vs. the print
run, but the differences are so minor as to not really be worth
consideration.)

-- 
http://intelligence.org/ :  Our last, best hope for a fantastic future.
.i ko na cpedu lo nu stidi vau loi jbopre .i dafsku lu na go'i li'u .e
lu go'i li'u .i ji'a go'i lu na'e go'i li'u .e lu go'i na'i li'u .e
lu no'e go'i li'u .e lu to'e go'i li'u .e lu lo mamta be do cu sofybakni li'u

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.