Fix footnote number
tree248dc3c489c2341b0ab8a9ec960a5082721a67f8
-rw-r--r-- 971 BUILDING
-rw-r--r-- 1240 KEYS
-rw-r--r-- 273 README
-rw-r--r-- 148 Thanks
-rw-r--r-- 2995 build.ml
-rw-r--r-- 501 build.sh
-rw-r--r-- 30107 link.c
-rw-r--r-- 25881 main.ml
-rw-r--r-- 765 tbs