#!/bin/sh
#
# extract-docs.sh - Extract texinfo documentation from a source file.
#
# Usage: extract-docs.sh source.c>output.texi
#
# Copyright (C) 2004 Southern Storm Software, Pty Ltd.
#
# This file is part of the libjit library.
#
# The libjit library is free software: you can redistribute it and/or
# modify it under the terms of the GNU Lesser General Public License
# as published by the Free Software Foundation, either version 2.1 of
# the License, or (at your option) any later version.
#
# The libjit library 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
# Lesser General Public License for more details.
#
# You should have received a copy of the GNU Lesser General Public
# License along with the libjit library. If not, see
#