#!/bin/sh
rm -f *.html
#xmlto -v -o output html ch12.xml
docbook2html vi-book.docbook 2>&1 | sed -e 's/^openjade://'