#!/bin/sh

# JML_DEV_BASE  : directory under which MJ and JML2 reside.
: ${JML_DEV_BASE:=$HOME}

exec perl ${JML_DEV_BASE}/JML2/bin-for-developers/texi2html.pl -no-section_navigation -expand tex "$@"

# exec /bin/texi2html -no-section_navigation --iftex "$@"

## Copyright (C) 2000-2005 Iowa State University
##
## This file is part of JML, the Java Modeling Language
##
## This program is free software; you can redistribute it and/or modify
## it under the terms of the GNU General Public License as published by
## the Free Software Foundation; either version 2 of the License, or
## (at your option) any later version.
##
## This program is distributed in the hope that it will be useful,
## but WITHOUT ANY WARRANTY; without even the implied warranty of
## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
## GNU General Public License for more details.
##
## You should have received a copy of the GNU General Public License
## along with this program; if not, write to the Free Software
## Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA