[Dune] how to make ctags file?

[Christian Engwer]

Hi,

> But many seperate tags files are generated in all directories of Dune. How to 
> get only one tags file with all the information recursively through the 
> directories? Then I can use this tags file for vi. Thank you !

dune uses the autotools tool chain. I never used ctags, so I'm not
able to help you, but you should be able find all information needed
in the autoconf/automake documentation (See buildsystem howto for the
link).

Christian