From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 23 May 2013 07:49:37 +0000 (+0200)
Subject: Added labels to "help -write-tex-command-reference-manual" output
X-Git-Tag: yosys-0.2.0~628
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6a38e767ba9abb68f1a066f381147fc609d496df;p=yosys.git

Added labels to "help -write-tex-command-reference-manual" output
---

diff --git a/kernel/register.cc b/kernel/register.cc
index bfd51feb1..f4e973889 100644
--- a/kernel/register.cc
+++ b/kernel/register.cc
@@ -389,9 +389,11 @@ struct HelpPass : public Pass {
 		size_t begin = text.find_first_not_of("\n"), end = text.find_last_not_of("\n");
 		if (begin != std::string::npos && end != std::string::npos && begin < end)
 			text = text.substr(begin, end-begin+1);
+		std::string cmd_unescaped = cmd;
 		escape_tex(cmd);
 		escape_tex(title);
 		fprintf(f, "\\section{%s -- %s}\n", cmd.c_str(), title.c_str());
+		fprintf(f, "\\label{cmd:%s}\n", cmd_unescaped.c_str());
 		fprintf(f, "\\begin{lstlisting}[numbers=left,frame=single]\n");
 		fprintf(f, "%s\n\\end{lstlisting}\n\n", text.c_str());