Regenerate manual.md