doc1 848 maint/gnulib/lib/argp-help.c int doc1 = doc1 852 maint/gnulib/lib/argp-help.c cmp = doc1 - doc2;