diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 15 |
1 files changed, 1 insertions, 14 deletions
@@ -236,7 +236,7 @@ devdocclean: # Emacs tags ########################################################################### -.PHONY: tags otags +.PHONY: tags tags: echo $(MLIFILES) $(MLSTATICFILES) $(ML4FILES) | sort -r | xargs \ @@ -253,19 +253,6 @@ tags: "--regex=/[ \t]*\([^: \t]+\)[ \t]*:/\1/" -otags: - echo $(MLIFILES) $(MLSTATICFILES) | sort -r | xargs otags - echo $(ML4FILES) | sort -r | xargs \ - etags --append --language=none\ - "--regex=/let[ \t]+\([^ \t]+\)/\1/" \ - "--regex=/let[ \t]+rec[ \t]+\([^ \t]+\)/\1/" \ - "--regex=/and[ \t]+\([^ \t]+\)/\1/" \ - "--regex=/type[ \t]+\([^ \t]+\)/\1/" \ - "--regex=/exception[ \t]+\([^ \t]+\)/\1/" \ - "--regex=/val[ \t]+\([^ \t]+\)/\1/" \ - "--regex=/module[ \t]+\([^ \t]+\)/\1/" - - %.elc: %.el ifdef COQ_CONFIGURED echo "(setq load-path (cons \".\" load-path))" > $*.compile |