bash completion file is installed when possible

b4aaa7b0 · Jean-Christophe Filliâtre · 3e43991f · b4aaa7b0
Commit b4aaa7b0 authored Mar 13, 2012 by Jean-Christophe Filliâtre
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

Makefile.in Makefile.in +1 -0

No files found.
--- a/Makefile.in
+++ b/Makefile.in
@@ -219,6 +219,7 @@ install_no_local::
 	cp -rf share/javascript $(DATADIR)/why3/javascript
 	cp -f share/emacs/why.el $(DATADIR)/why3/emacs/why.el
 	cp -f share/lang/why.lang $(DATADIR)/why3/lang/why.lang
+#	if test -d /etc/bash_completion.d; then cp -f share/bash/why3 /etc/bash_completion.d; fi

 install_no_local_lib::
 	mkdir -p $(OCAMLLIB)/why3