Re: [lojban] CLL project, ruby version

[Robin Lee Powell <rlpowell@digitalkingdom.org>]

On Wed, Sep 10, 2014 at 08:51:34PM +0200, v4hn wrote:
> Heya,
> 
> just a quick question from those of us who didn't have the time to
> follow the discussion on which documentation tool sucks less:
> 
> You seemed to be overjoyed by python's Sphinx project.

I would have said rather that I was interested; no documentation
system I've found throughout this multi-year quest has even come
close to overjoying me.

> Why did it loose to a self-written ruby project for you?

Because *starting from where we're at*, I would have had to first
have written a converter for our quasi-docbook *into Sphinx's
markup*, and then *in addition* solve all the problems we would have
with Sphinx (the details of which I do not remember, although I do
note that it can have only one index and one glossary, which is a
problem (albeit arguably a minor one)).

Also, I don't know Python (although this is hardly an insurmountable
obstacle).

I decided that if I was going to write a complete converter from our
current markup to another markup *anyways*, I would write a
converter from our markup to our actual *targets*.  I feel that I
can make it simple and clear enough that it'll be easy for other
people to work on and maintain in the future.  Hell, maybe it'll
even be of general use outside the Lojban community.

-- 
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.