Documentation Versioning
Guide to managing documentation versions with mike
Overview
Benefits
Setup
1. Install Dependencies
# Install mike (already in requirements.txt)
pip install -r requirements.txt2. Verify Configuration
Local Usage
Create First Version
Deploy New Version
List All Versions
Serve Versioned Docs Locally
Delete a Version
Version Management Workflow
For Minor Releases (1.0 → 1.1)
For Major Releases (1.x → 2.0)
For Patch Releases (1.0.0 → 1.0.1)
CI/CD Integration
GitHub Actions Workflow
Automatic Version Detection
Best Practices
1. Version Naming
2. Alias Strategy
3. Version Cleanup
4. Documentation Updates
Advanced Configuration
Custom Version Selector
Version Warnings
Troubleshooting
Issue: "gh-pages branch not found"
Issue: Version selector not appearing
Issue: Wrong default version
Version History
Version
Release Date
Status
Notes
Related Documentation
Additional Resources
Last updated
Was this helpful?

