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