Docs/Support/test-make-manual


1
2
3
4
5
6
7
8
9
10
11
12
13

#!/bin/sh

echo
echo "|---- Running makeinfo ----|"
makeinfo --no-split -I . manual.texi

echo
echo "|---- Running texi2html ----|"
/usr/bin/perl ./Support/texi2html -iso -number manual.texi

echo
echo "Please examine your modifications in \`manual.html'."
echo