[devdocsgjs/wip/andyholmes/gnome41-fixes: 1/4] shell01, st10: fix include directory

[Andy Holmes <andyholmes src gnome org>]

commit 7bab4b0782feb59f8d2f83b721b449b212a69c08
Author: Andy Holmes <andrew g r holmes gmail com>
Date:   Fri Jan 14 23:29:24 2022 -0800

    shell01, st10: fix include directory
    
    These should have been updated to mutter-9 when the image was updated to
    fedora:35

 Dockerfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/Dockerfile b/Dockerfile
index d1b78d69..339cc5ca 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -80,8 +80,8 @@ RUN bundle exec thor gir:generate_all /usr/lib64/mutter-9
 
 # Some of the gnome-shell GIRs need extra include paths
 RUN bundle exec thor gir:generate /usr/share/gnome-shell/Gvc-1.0.gir
-RUN bundle exec thor gir:generate /usr/share/gnome-shell/Shell-0.1.gir --include /usr/lib64/mutter-8
-RUN bundle exec thor gir:generate /usr/share/gnome-shell/St-1.0.gir --include /usr/lib64/mutter-8
+RUN bundle exec thor gir:generate /usr/share/gnome-shell/Shell-0.1.gir --include /usr/lib64/mutter-9
+RUN bundle exec thor gir:generate /usr/share/gnome-shell/St-1.0.gir --include /usr/lib64/mutter-9
 
 # Build docsets
 #