git: update `.gitignore` file
build: add the `doc` target