pub-solar-os/doc/.gitignore