print_options: warn that the files are generated.
authorNicolas George <nicolas.george@normalesup.org>
Mon, 23 Apr 2012 12:12:23 +0000 (14:12 +0200)
committerNicolas George <nicolas.george@normalesup.org>
Mon, 23 Apr 2012 16:14:25 +0000 (18:14 +0200)
doc/print_options.c

index 4283e6a..339b942 100644 (file)
@@ -112,6 +112,8 @@ int main(int argc, char **argv)
     if (argc < 2)
         print_usage();
 
+    printf("@c DO NOT EDIT THIS FILE!\n"
+           "@c It was generated by print_options.\n\n");
     if (!strcmp(argv[1], "format"))
         show_format_opts();
     else if (!strcmp(argv[1], "codec"))