diff --git a/Makefile.in b/Makefile.in index 7a6d63b99bc..5f3d76863e4 100644 --- a/Makefile.in +++ b/Makefile.in @@ -131,10 +131,10 @@ $(TESTSUBDIRS:%=%/__crosstest__): tools include # Misc rules TAGS etags: - find $(TOPSRCDIR)/ -name '*.[ch]' -print | etags - + find -L $(TOPSRCDIR) -name '*.[ch]' -print | etags - tags ctags: - find $(TOPSRCDIR)/ -name '*.[ch]' -print | ctags --c-types=+px -L - + find -L $(TOPSRCDIR) -name '*.[ch]' -print | ctags --c-types=+px -L - manpages htmlpages sgmlpages: dummy @cd documentation && $(MAKE) $@