close_emacs_globals  716 lib-src/make-docfile.c 	      close_emacs_globals (num_symbols);
close_emacs_globals  761 lib-src/make-docfile.c     close_emacs_globals (num_symbols);