pg.ddx.io  pgsql-docs@postgresql.org mailing list archive  
help / color / mirror / Atom feed
From: Alvaro Herrera <alvherre@commandprompt.com>
To: pgsql-docs@postgresql.org
Subject: 'make draft' and HTML.index
Date: Wed, 9 Jan 2008 02:41:55 -0300
Message-ID: <20080109054155.GG20913@alvh.no-ip.org> (raw)

I just noticed that I can very quickly generate an up-to-date HTML.index
by commenting out normal HTML generation, i.e. patching html/docbook.dsl
thusly:

inline patch 1: docbook.dsl (+3/-3 lines) download inline-1.patch*** docbook.dsl.orig 2008-01-09 02:35:53.000000000 -0300 --- docbook.dsl 2008-01-09 02:35:12.000000000 -0300 *************** *** 102,110 **** ;(define (docelem node) ; (node-propety 'document-element ; (node-property 'grove-root node))) ! (process-children) ! (with-mode manifest ! (process-children)) (if html-index (with-mode htmlindex (process-children)) --- 102,110 ---- ;(define (docelem node) ; (node-propety 'document-element ; (node-property 'grove-root node))) ! ; (process-children) ! ; (with-mode manifest ! ; (process-children)) (if html-index (with-mode htmlindex (process-children))
(Of course, this suppresses normal HTML output). Currently, we generate HTML.index by running openjade in normal mode, and then rerunning if we detect that the HTML.index file changed. This is a waste -- with patched docbook.dsl, it takes 8 seconds to generate the index file on my system, whereas the regular openjade run takes 1:30. So on a clean start it takes 3 minutes to generate the docs. This could be reduced to 1:38 if we were to generate the HTML.index file with a hack similar to the above, and then run openjade only once. However, I have no idea if we can ship a .dsl file and convince openjade to run with that instead of the normal docbook.dsl. -- Alvaro Herrera http://www.CommandPrompt.com/ The PostgreSQL Company - Command Prompt, Inc.

view thread (2+ messages)  latest in thread

Message-ID: <20080109054155.GG20913@alvh.no-ip.org>
Permalink:  ../20080109054155.GG20913@alvh.no-ip.org/
Also on:    postgresql.org/message-id/20080109054155.GG20913@alvh.no-ip.org

 ·  · 

reply

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Reply to all the recipients using the --to and --cc options:
  reply via email

  To: pgsql-docs@postgresql.org
  Cc: alvherre@commandprompt.com
  Subject: Re: 'make draft' and HTML.index
  In-Reply-To: <20080109054155.GG20913@alvh.no-ip.org>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by DDX for PostgreSQL; see mirroring instructions
for how to clone and mirror all data and code used for this inbox