* make-docfile.c (EMACS_INTEGER): Rename from EMACS_INT.