diff --git a/docs/manual.sgml b/docs/manual.sgml index 3ce768f8da3f08f5338fd7c529f4472424cad863..1e1f57c36eab1ab7411075678b05e32603bc178c 100644 --- a/docs/manual.sgml +++ b/docs/manual.sgml @@ -21,6 +21,7 @@ <!ENTITY views-directedit SYSTEM "views_directedit.sgml"> <!ENTITY featurelist SYSTEM "feature_list.sgml"> <!ENTITY mousebuttons SYSTEM "mousebuttons.sgml"> +<!ENTITY validator SYSTEM "validator.sgml"> <!ENTITY gettingjava SYSTEM "getting_java.sgml"> <!ENTITY unixargs SYSTEM "unix_args.sgml"> <!ENTITY jvmopts SYSTEM "jvm_options.sgml">