100644 blob b99f7384307ab37d254cd2f9de8a9533c3c6e6a4	gnu-manuals-locations.dat
100644 blob 774fb34abfede18a5a3ab8dcd6df0751953d9e56	gnu-manuals.awk
100644 blob 3f703748646f63eff568221591f87486b6d03d05	manual-not-found.cmd
100755 blob 81340ead13677e7a5ce800d97db6560a783c3fa7	manual-not-found.in