# This will serve as generated directory holder for `html_extra_path`
!.gitignore
