diff --git a/scripts/extract_doc.rb b/scripts/extract_doc.rb index 54e51bfb1..eb9a149d8 100755 --- a/scripts/extract_doc.rb +++ b/scripts/extract_doc.rb @@ -160,9 +160,9 @@ HEAD item.name || raise("Missing @name for item #{item_key}") item.brief || raise("Missing @brief for item #{item_key}") + doc += "" doc += "

\"" + escape(self.mod, item.name) + "\" - " + escape(self.mod, item.brief) + "

\n" doc += "\n" - doc += "
" if ! item.synopsis.empty? doc += "

Usage:

\n" doc += "