diff options
Diffstat (limited to 'doc/public/check-doc-syntax.sh')
-rwxr-xr-x | doc/public/check-doc-syntax.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/public/check-doc-syntax.sh b/doc/public/check-doc-syntax.sh new file mode 100755 index 000000000..129065d2a --- /dev/null +++ b/doc/public/check-doc-syntax.sh @@ -0,0 +1,12 @@ +#!/bin/sh + +LC_ALL=C +export LC_ALL + +test -z "$srcdir" && srcdir=. +test -z "$top_srcdir" && top_srcdir=$srcdir/../.. + +SGML_DOCS=true +FILES=`echo $srcdir/tmpl/*.sgml` + +. "$top_srcdir/src/check-doc-syntax.sh" |