gnome-shell/docs/reference/shell
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
..
Makefile.am Don't build documentation for the recorder when it's disabled 2012-07-10 19:36:57 +02:00
shell-docs.sgml.in