Giovanni Campagna 3a48daaa64 Don't build documentation for the recorder when it's disabled ...

When building with gtk-doc but no recorder, build fails trying to
get the GType of ShellRecorder. Fix it by skipping its header file
when disabled.

2012-07-10 19:36:57 +02:00

..

reference

Don't build documentation for the recorder when it's disabled

2012-07-10 19:36:57 +02:00

Makefile.am

docs: Allow building API documentation

2011-10-20 22:48:44 +02:00