Fix last changes in make-docfile.c.