diff --git a/doc/pub/week45/html/._week45-bs000.html b/doc/pub/week45/html/._week45-bs000.html index 7bf24ab4b..d11bdcd92 100644 --- a/doc/pub/week45/html/._week45-bs000.html +++ b/doc/pub/week45/html/._week45-bs000.html @@ -8,8 +8,8 @@ doconce format html week45.do.txt --html_style=bootstrap --pygments_html_style=d - -