| content | filename | type | wc |
|---|---|---|---|
| raw html | Makefile | ASCII text | 54 178 1416 |
| raw html | diffmake.awk | awk or perl script, ASCII text | 14 33 226 |
| raw html | file_table | POSIX shell script, ASCII text executable | 17 50 370 |
| raw html | generate_index | POSIX shell script, ASCII text executable | 21 103 825 |
| raw html | head.rst | ASCII text | 7 16 117 |
| raw html | log.awk | awk or perl script, ASCII text | 42 125 1124 |
| raw html | parents.awk | ASCII text | 3 9 79 |
| raw html | render_files | POSIX shell script, ASCII text executable | 36 140 1138 |