1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
#!/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 $".
#
|
