diff options
| -rw-r--r-- | emacs/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/emacs/Makefile b/emacs/Makefile index dcda07556..ab0dbd2b4 100644 --- a/emacs/Makefile +++ b/emacs/Makefile @@ -48,7 +48,6 @@ ocamltags: ocamltags.in chmod a+x ocamltags install-ocamltags: ocamltags - cp ocamltags $(SCRIPTDIR)/ocamltags clean: |