Make it clear in the sudoers grammar that sudoedit needs file args.

Debian bug #571621

doc/sudoers.man.in

@@ -25,7 +25,7 @@
 .nr BA @BAMAN@
 .nr LC @LCMAN@
 .nr PS @PSMAN@
-.TH "SUDOERS" "@mansectform@" "March 10, 2020" "Sudo @PACKAGE_VERSION@" "File Formats Manual"
+.TH "SUDOERS" "@mansectform@" "April 3, 2020" "Sudo @PACKAGE_VERSION@" "File Formats Manual"
 .nh
 .if n .ad l
 .SH "NAME"
@@ -897,9 +897,11 @@ command name ::= file name |
                  file name args |
                  file name '""'
 
+Edit_Spec ::= "sudoedit" file name+
+
 Cmnd ::= Digest_List? '!'* command name |
          '!'* directory |
-         '!'* "sudoedit" |
+         '!'* Edit_Spec |
          '!'* Cmnd_Alias
 .RE
 .fi

doc/sudoers.mdoc.in

@@ -24,7 +24,7 @@
 .nr BA @BAMAN@
 .nr LC @LCMAN@
 .nr PS @PSMAN@
-.Dd March 10, 2020
+.Dd April 3, 2020
 .Dt SUDOERS @mansectform@
 .Os Sudo @PACKAGE_VERSION@
 .Sh NAME
@@ -862,9 +862,11 @@ command name ::= file name |
                  file name args |
                  file name '""'
 
+Edit_Spec ::= "sudoedit" file name+
+
 Cmnd ::= Digest_List? '!'* command name |
          '!'* directory |
-         '!'* "sudoedit" |
+         '!'* Edit_Spec |
          '!'* Cmnd_Alias
 .Ed
 .Pp