Re: db2html

[Raja R Harinath <harinath cs umn edu>]

allbery@ece.cmu.edu writes:
> On 17 Sep, Raja R Harinath wrote:
> | For Linux, you can get `db2html' from:
> 
> I don't want db2html, or Jade.  I'm getting a bit tight on space, and
> I'm trying to minimize the number of additional packages I need to
> install.

I agree.  I was responding to the part that asked for how to get `db2html'.
 
> I don't see any conditionals on the build of gnome-terminal/index.html;
> if you have CVS you're apparently assumed to have the whole DocBook
> thing installed.

The rule in CVS is:

  gnome-terminal/index.html: $(srcdir)/gnome-terminal.sgml
        -srcdir=`cd $(srcdir) && pwd`; \
        db2html $$srcdir/gnome-terminal.sgml

Notice the `-' and line continuation.  This rule won't fail if there's
no db2html.

- Hari
-- 
Raja R Harinath ------------------------------ harinath@cs.umn.edu
"When all else fails, read the instructions."      -- Cahn's Axiom
"Our policy is, when in doubt, do the right thing."   -- Roy L Ash