Marco Ricci commited on 2025-06-24 22:28:10
              Zeige 1 geänderte Dateien mit 1 Einfügungen und 1 Löschungen.
            
Some details in the publishing of the documentation are slightly off.
| ... | ... | 
                      @@ -46,6 +46,6 @@ Release checklist  | 
                  
| 46 | 46 | 
                        ???+ info "publish"  | 
                    
| 47 | 47 | 
                         | 
                    
| 48 | 48 | 
                        1. publish to PyPI: `hatch clean && hatch build && hatch publish` (prepare credentials first)  | 
                    
| 49 | 
                        - 2. upload documentation: `git worktree add doctree documentation-tree`, `coverage html --show-context --data-file=<COVERAGE-FILE>` (if desired), `rsync -aR --delete-after html/./ <HOST>`, `git worktree remove doctree`  | 
                    |
| 49 | 
                        + 2. upload documentation: `git worktree add doctree documentation-tree`, `coverage html --show-context -d doctree --data-file=<COVERAGE-FILE>` (if desired), `rsync -aR --exclude=.git --delete-after doctree/./ <HOST>`, `git worktree remove doctree`  | 
                    |
| 50 | 50 | 
                        3. publish source: `git push origin master wishlist documentation-tree`  | 
                    
| 51 | 51 | 
                         | 
                    
| 52 | 52 |