edu4rdshl/gnome-shell
1
0
Fork 0
mirror of https://github.com/edu4rdshl/gnome-shell.git synced 2026-07-17 23:24:51 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
gnome-shell/docs
History
Exact
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