diff --git a/doc/howto.mm b/doc/howto.mm --- a/doc/howto.mm +++ b/doc/howto.mm @@ -37,6 +37,7 @@ +