diff --git a/docs/bash.html b/docs/bash.html index da677427..3c0a48f6 100644 --- a/docs/bash.html +++ b/docs/bash.html @@ -1126,5 +1126,22 @@