INSTALL.md: Mention the new build option gtk4_version

INSTALL.md

@@ -37,6 +37,7 @@ Option | Default Value | Description

                                
                                
                                
                            
                                
                                    
                                        
                                            37  
                                            `colors` | `default,light,dark` | Choose color variant(s)
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            38  
                                            `sizes` | `default,compact` | Choose size variant(s)
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            39  
                                            `gnome_shell_version` | n/a (auto) | Manually set gnome-shell version
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        40 +
                                        `gtk4_version` | n/a (auto) | Manually set gtk4 version
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            41  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            42  
                                            Build options can be set at the configuration time, for example:
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            43