annotate doc/man/ctags.1 @ 112310:e838cdd68eae

Use gnulib's getopt-gnu module.
author Paul Eggert <eggert@cs.ucla.edu>
date Sat, 08 Jan 2011 23:29:26 -0800
parents a5cb04ea8851
children ef719132ddfa
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
83910
a5cb04ea8851 Move here from ../../etc/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 .so man1/etags.1
a5cb04ea8851 Move here from ../../etc/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2
a5cb04ea8851 Move here from ../../etc/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
3 .\" arch-tag: 54d4579b-9d66-4ba5-9fda-f01ec83612ad