File tree Expand file tree Collapse file tree 1 file changed +3
-4
lines changed Expand file tree Collapse file tree 1 file changed +3
-4
lines changed Original file line number Diff line number Diff line change @@ -147,7 +147,7 @@ jobs:
147147          (cd /sage/local/share/doc/sage/html/en && git diff HEAD^; rm -rf .git) > ./docs/diff.txt 
148148          /sage/sage -python - << EOF 
149149          import re, html 
150-           with open('./docs/diff.txt   ', 'r') as f: 
150+           with open('./docs/diff.txt', 'r') as f: 
151151              diff_text = f.read() 
152152              diff_blocks = re.split(r'^(?=diff --git)', diff_text, flags=re.MULTILINE) 
153153              out_blocks = [] 
@@ -157,11 +157,10 @@ jobs:
157157                      path = match.group(1) 
158158                      out_blocks.append(f'<p><a href="{path}">{path}</a></p>\n<pre><code class="language-diff">\n' + html.escape(block).strip() + '\n</code></pre>') 
159159              output_text = '\n'.join(out_blocks) 
160- 
161-           with open('./docs/diff.html'  ', 'w') as f: 
160+           with open('./docs/diff.html', 'w') as f: 
162161              f.write(output_text) 
163162          EOF 
164-           cat .docs/diff.html >> ./docs/CHANGES.html 
163+           cat ./ docs/diff.html >> ./docs/CHANGES.html 
165164          echo '</body>' >> ./docs/CHANGES.html 
166165          echo '</html>' >>./docs/CHANGES.html 
167166          # Preview of changes 
    
 
   
 
     
   
   
          
     
  
    
     
 
    
      
     
 
     
    You can’t perform that action at this time.
  
 
    
  
     
    
      
        
     
 
       
      
     
   
 
    
    
  
 
  
 
     
    
0 commit comments