*** empty log message ***

diff --git a/texi/gnus.texi b/texi/gnus.texi
index e4d8222..9c2552a 100644 (file)
--- a/texi/gnus.texi
+++ b/texi/gnus.texi
@@ -10634,6 +10634,7 @@ possible but those listed are probably sufficient for most people.
 @item gnus-treat-strip-pgp (t, last, integer)
 @item gnus-treat-strip-trailing-blank-lines (t, last, integer)
 @item gnus-treat-unsplit-urls (t, integer)
+@item gnus-treat-wash-html (t, integer)
 
 @xref{Article Washing}.