#!/bin/bash
STARTLINE=`head -n 1 $4`
if [ "$STARTLINE" = '<!doctype linuxdoc system>' ]
then
    echo "sgml2html"
    sgml2html $@
else
    echo "sgmltools"
    sgmltools --backend="html" $4
fi
