#!/bin/sh
#
# Hacked version of gtkdoc-mkhtml to allow using different stylesheets.

usage="\
Usage: mkhtml MODULE SGML_FILE STYLESHEET"

if test "x$1" = "x--version"; then
      echo "0.10"
      exit 0
fi

if test $# -lt 2; then
      echo "${usage}" 1>&2
      exit 1
fi

module=$1
document=$2
gtkdocdir=/usr/share/gtk-doc

# Delete the old index.sgml file, if it exists.
if test -f index.sgml; then
      rm -f index.sgml
fi

stylesheet=$gtkdocdir/gtk-doc.dsl
if test $# -ge 3; then
    stylesheet=$3
fi

no -t sgml -w no-idref -d $stylesheet $document
sed s%href=\"%href=\"$module/% < index.sgml > index.sgml.tmp && mv index.sgml.tmp index.sgml

echo "timestamp" > ../html.stamp
