add kernel/.gitignore

hc

2024-08-16 a24a44ff9ca902811b99aa9663d697cf452e08ef

1
2
3
4
5
To build the documentation, invoke
 
    make html
 
Then point your browser to _build/html/index.html.