Arch Linux

htho

Member

From: Würzburg, Germany

Registered: 2013-05-28

Posts: 4

[SOLVED] monodoc does not show the api

Hi,

I have just installed monodevelop and mono-tools.  When opening monodoc, some specific api documentation is present but not for the standard api. I am expecting a longer list like at the online documentation.

Here is a Screenshot:

Console output:

$ monodoc
Error: did not find one of the files in sources//usr/lib/monodoc/sources/gd2i
node `classlib-webkit' is not defined on the documentation map
using WebKit
using WebKit

(browser:2045): GLib-CRITICAL **: Source ID 15 was not found when attempting to remove it

The last line is printed when closing the window.

The Path "sources//usr/lib/monodoc/sources/gd2i" can't be right.

What do I need to do?

htho

Last edited by htho (2016-05-26 15:25:51)

htho

Member

From: Würzburg, Germany

Registered: 2013-05-28

Posts: 4

Re: [SOLVED] monodoc does not show the api

I've filed a bug (#44007) regarding this issue some time ago. Now I got pointed to the solution:

To include the documentation, mono needs to be rebuilt with --with-mcs-docs=no. Since mono and mono-tools provide "/usr/lib/monodoc/monodoc.xml", mono-tools needs to be repacked without "monodoc.xml".

mono

PKGBUILD
change line 35 from

--with-mcs-docs=no

to

--with-mcs-docs=yes

mono-tools

PKGBUILD
remove/comment line 48

install -D -m644 "${srcdir}"/monodoc.xml "${pkgdir}"/usr/lib/monodoc/monodoc.xml

to

# install -D -m644 "${srcdir}"/monodoc.xml "${pkgdir}"/usr/lib/monodoc/monodoc.xml