Seems no point in keeping them separate. It doesn’t seem to matter if they contain entries which are unused for a particular docs build. Signed-off-by: Philip Withnall <pwithnall@gnome.org>