Add comment

themes.py

@@ -7,4 +7,14 @@ xslt = ET.parse("themes.xsl")

                                
                                
                                
                            
                                
                                    
                                        
                                            7  
                                            transform = ET.XSLT(xslt)
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            8  
                                            newdom = transform(dom)
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            9  
                                            with open("themes.html", "w") as file:
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        10 -
                                            file.write(str(newdom))
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        10 +
                                            file.write("""<!--DO NOT EDIT THIS FILE MANUALLY.
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        11 +
                                        This file, themes.html, is automatically generated using the Python script: themes.py.
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        12 +
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        13 +
                                        That script uses 2 other files that you may want to edit instead: themes.xml, themes.xsl.
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        14 +
                                        * themes.xml includes all data,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        15 +
                                        * themes.xsl includes instructions for the Python script on how to render that data into valid HTML.
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        16 +
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        17 +
                                        You may also want to edit themes.css, which is the stylesheet for this specific page.
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        18 +
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        19 +
                                        I know all these files are named exactly the same, that's literally just so that they appear next to eachother---it's so nice.
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        20 +
                                        -->""" + str(newdom))