Merge pull request #1308 from caryr/v13-branch

update documentation name (man page format)

Documentation/conf.py

@@ -142,7 +142,7 @@ latex_documents = [
 # One entry per manual page. List of tuples
 # (source start file, name, description, authors, manual section).
 man_pages = [
-    (master_doc, 'icarusverilog', 'Icarus Verilog Documentation',
+    (master_doc, 'iverilog-docs', 'Icarus Verilog Documentation',
      [author], 1)
 ]