Manual (development)

Manual from mini-buildd's master (development) branch.