| #!/bin/sh |
| # |
| # "$Id: makedocs.sh 408 2010-09-19 05:26:46Z mike $" |
| # |
| # Script to make documentation... |
| # |
| # Copyright 2003-2010 by Michael R Sweet. |
| # |
| # These coded instructions, statements, and computer programs are the |
| # property of Michael R Sweet and are protected by Federal copyright |
| # law. Distribution and use rights are outlined in the file "COPYING" |
| # which should have been included with this file. If this file is |
| # missing or damaged, see the license at: |
| # |
| # http://www.minixml.org/ |
| # |
| |
| htmldoc --verbose --path "hires;." --batch mxml.book -f mxml.pdf |
| |
| htmldoc --verbose --batch mxml.book --no-title -f mxml.html |
| |
| rm -rf mxml.d |
| mkdir mxml.d |
| htmldoc --verbose --batch mxml.book --no-title -t html -d mxml.d |
| |
| # |
| # End of "$Id: makedocs.sh 408 2010-09-19 05:26:46Z mike $". |
| # |
