Catch mkheaders.c up to the removal of counted device support in 2005.

mkheaders.c hasn't made headers in ~15 years. Belatedly update the comments to
reflect that all it does these days is warn about 'device foo' lines in the
config where we don't know what a 'foo' is.

Remove extra includes too. These also haven't been needed for 15 years and
weren't removed at the time the comment wasn't updated...

1 files changed, 4 insertions, 4 deletions

diff --git a/usr.sbin/config/mkheaders.c b/usr.sbin/config/mkheaders.c
index 086a902dc319..62f81553bb5c 100644
--- a/usr.sbin/config/mkheaders.c
+++ b/usr.sbin/config/mkheaders.c
@@ -38,14 +38,14 @@ static const char rcsid[] =
 #endif /* not lint */
 
 /*
- * Make all the .h files for the optional entries
+ * This used to generate a bunch of hearders files related to devices when
+ * device counters were supported. Support for that was removed in 2005.
+ * Since then, all we've done is to report unknown devices in this file.
+ * It's kept its historical name, despite no longer generating headers.
  */
 
-#include <ctype.h>
 #include <err.h>
 #include <stdio.h>
-#include <string.h>
-#include <sys/param.h>
 #include "config.h"
 #include "y.tab.h"