git: 85e8c2a03490 - main - Cirrus-CI: Run makeman script

The branch main has been updated by brooks:

URL: https://cgit.FreeBSD.org/src/commit/?id=85e8c2a0349075fcab5c2446dae1ce82f6445fe9

commit 85e8c2a0349075fcab5c2446dae1ce82f6445fe9
Author:     Brooks Davis <brooks@FreeBSD.org>
AuthorDate: 2023-04-20 21:38:10 +0000
Commit:     Brooks Davis <brooks@FreeBSD.org>
CommitDate: 2023-04-20 21:38:37 +0000

    Cirrus-CI: Run makeman script
    
    Run makeman and verify that src.conf.5 has been updated if
    required and that there are no missing definition files.
    
    Reviewed by:    emaste
    Sponsored by:   DARPA
    Differential Revision:  https://reviews.freebsd.org/D39682
---
 .cirrus.yml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/.cirrus.yml b/.cirrus.yml
index d53d6ede110e..f2c8fa83c59f 100644
--- a/.cirrus.yml
+++ b/.cirrus.yml
@@ -64,6 +64,14 @@ task:
   # Check that includes/Makefile refers to existing directories
   - if ! make -C include/ check-ldirs; then printf "\n>>> include/Makefile lists nonexistant directories <<<\n"; false; fi
 
+  makeman_script:
+  # Check that the committed src.conf.5 matches the one generated by
+  # tools/build/options/makeman (modulo the date which always updates)
+  # XXX: This script is slow so keep it last
+  - (make makeman 2> /tmp/makeman.out); cat /tmp/makeman.out
+  - if ! git diff --exit-code --ignore-matching-lines "^.Dd" share/man/man5/src.conf.5; then printf "\n>>> src.conf.5 was not updated as required <<<\n"; false; fi
+  - if grep -q "no description found" /tmp/makeman.out; then printf "\n>>> Missing description files <<<\n"; false; fi
+
   post_script:
   - df -m
   - du -m -s /usr/obj