gen.c wrote "%d.txt" files, but adding "*.txt" to .gitignore might cause future documentation to be ignored. Rename to "%d.http".