]> granicus.if.org Git - sudo/commitdiff
fixed a comment
authorTodd C. Miller <Todd.Miller@courtesan.com>
Sat, 2 Sep 1995 16:55:40 +0000 (16:55 +0000)
committerTodd C. Miller <Todd.Miller@courtesan.com>
Sat, 2 Sep 1995 16:55:40 +0000 (16:55 +0000)
Makefile.in

index 728b0b82f741cab5d5f93e40cdeaa0d709854cf5..c5c04e48a1ce674b796f7c47ac5782e95c4cc804 100644 (file)
@@ -81,7 +81,7 @@ mandir5 = $(man_prefix)/$(mantype)$(mansect5)
 owner = root
 group = staff
 
-# See sudo.h for a list of options
+# See options.h and OPTINOS for a list of options
 OPTIONS = @OPTIONS@
 
 #### End of system configuration section. ####