Docs: Use formatted cmd ref in pdf

Fixes missing links in body and `??` in tag/command index.
Update synth.rst to match.

docs/source/index.rst

@@ -23,7 +23,7 @@ available, go to :ref:`commandindex`.
    - Search bar with live drop down suggestions for matching on title /
      autocompleting commands
    - Scroll the left sidebar to the current location on page load
-   - Also the formatting/linking in pdf is broken
+   - Also the formatting in pdf uses link formatting instead of code formatting
 
 .. todolist::
 

docs/source/using_yosys/synthesis/synth.rst

@@ -42,7 +42,6 @@ The following commands are executed by the :cmd:ref:`prep` command:
 
 .. literalinclude:: /cmd/prep.rst
    :start-at: begin:
-   :end-before: .. raw:: latex
    :dedent:
 
 :doc:`/getting_started/example_synth` covers most of these commands and what

kernel/register.cc

@@ -781,7 +781,6 @@ struct HelpPass : public Pass {
 		fprintf(f, "%s", title_line.c_str());
 		fprintf(f, "%s - %s\n", cmd.c_str(), title.c_str());
 		fprintf(f, "%s\n", title_line.c_str());
-		fprintf(f, ".. raw:: latex\n\n    \\begin{comment}\n\n");
 
 		// render html
 		fprintf(f, ".. cmd:def:: %s\n", cmd.c_str());
@@ -851,17 +850,6 @@ struct HelpPass : public Pass {
 
 			blank_count = 0;
 		}
-		fputc('\n', f);
-
-		// render latex
-		fprintf(f, ".. raw:: latex\n\n    \\end{comment}\n\n");
-		fprintf(f, ".. only:: latex\n\n");
-		fprintf(f, "    ::\n\n");
-		std::stringstream ss2;
-		ss2 << textcp;
-		for (std::string line; std::getline(ss2, line, '\n');) {
-			fprintf(f, "        %s\n", line.c_str());
-		}
 		fclose(f);
 	}
 	void execute(std::vector<std::string> args, RTLIL::Design*) override