tracker-miner-user-guides: Make sure we build if configured to