100644 blob 1c86a2c7701f4b0f4c5493c104ec5353f144829a	README
100644 blob e3412516e93c1366535d47c64b79ea8230a66b74	booklet.mak
100644 blob 6e004476687b0f26e8e1ae2ea70e6c7aa37c8538	bright-colors.css
100644 blob db50814d7c127e45b8d66e550031ae5e9644a16a	deref.c
100755 blob 06595521463640823eff391e994f9ccefe842211	fix-info-dir
100755 blob ee2ea7192198ad6a2e020b302f51c8d49de421bd	fixfonts
100644 blob 4a692f7b7b1d861796e2a8ff0fff395a77ded15e	fixref.gawk
100755 blob 8b413bbf7a2c1e3dbcaaf6b4c9350de5b21dce22	gen-dir-node
100755 blob c9f64b414a0360ef1359e22314141d34765b7fc5	infosrch
100644 blob 4e6f22a4d1eb22faf398d8563d0c46b9198c77c8	javaprop2texiflag.pl
040000 tree 302327bbf42a5336b41bf548beb14c3cd0640751	nontests
100644 blob b460de489ba0b35a3dce6e8630c6100058d71b77	outline.gawk
040000 tree 47e3daa8b21397775b02b146829260c64db3eb4b	perldoc-all
100644 blob 76d0922d9d32cb0447ba8d57b7a6d1bec745ec59	prepinfo.awk
100755 blob 046c7946459d2c39b249f4f9196aec511e385581	tex3patch
100644 blob 0de817d3fa97d38e2db748d22ac697d8cab52d13	texi-docstring-magic.el
040000 tree 4b6e705dde13e284ca904639e947c467a6ce1afe	texifont
100644 blob 4193f034fc73d65d2203a001ec5f927d322680d5	txipsfonts-bronger.tex
100644 blob 47aae3b2ab6c52db5afd78ad4109837d8a59d9e3	txipsfonts-gildea.diff