What files do you want to see end up in `doc`? The `html` folder, or the contents of the `html` folder?