[Pkg-electronics-devel] Bug#1110473: Docs build change in yosys 0.56: ENABLE_HELP_SOURCE

[Petter Reinholdtsen]

[Scott Ashcroft]
> I think it is as simple as the attached.
>
> It does seem to work as advertised and pdf produced has proper links in
> the 'Command Reference' section and notes such as:

Look trivial to add.  How do you verify that it is working?  In other
words, how can I verify that it is working?

-- 
Happy hacking
Petter Reinholdtsen