diff options
| author | Giovanni Campagna <scampa.giovanni@gmail.com> | 2015-01-01 21:32:32 +0100 |
|---|---|---|
| committer | Giovanni Campagna <scampa.giovanni@gmail.com> | 2015-01-01 21:33:00 +0100 |
| commit | a180e8b87ed7cd82f423706a290cb46df80668e9 (patch) | |
| tree | 098cc189b442c613ebea1684565e06df20d558cb | |
| parent | 26c8086190d98a439f870d706cea7855f791026b (diff) | |
| download | mutter-a180e8b87ed7cd82f423706a290cb46df80668e9.tar.gz | |
Fix gtk-doc more
Apparently having a successful build is not enough to prove
that a build fix is correct
| -rw-r--r-- | doc/reference/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/reference/Makefile.am b/doc/reference/Makefile.am index d1aa30ced..6794e9626 100644 --- a/doc/reference/Makefile.am +++ b/doc/reference/Makefile.am @@ -81,7 +81,7 @@ IGNORE_HFILES= \ keybindings-private.h \ meta-background-actor-private.h \ meta-background-group-private.h \ - meta-dbus-login1.h + meta-dbus-login1.h \ meta-module.h \ meta-plugin-manager.h \ meta-shadow-factory-private.h \ |