* make-docfile.c (write_globals): Make it a bit clearer.