diff --git a/Doc/Manual/SWIG.html b/Doc/Manual/SWIG.html index c1ffcff60..890763b11 100644 --- a/Doc/Manual/SWIG.html +++ b/Doc/Manual/SWIG.html @@ -120,7 +120,6 @@ can be obtained by typing swig -help or swig -mzscheme Generate Mzscheme wrappers -ocaml Generate Ocaml wrappers -perl Generate Perl wrappers --php4 Generate PHP4 wrappers -php5 Generate PHP5 wrappers -pike Generate Pike wrappers -python Generate Python wrappers