GitLab

* doc/misc/Makefile.in: Update for faq.texi name change.

* admin/admin.el (manual-misc-manuals): "faq" does not need special
  treatment any more.