Commit f7ba2921 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[install] fix autocomplete install

parent 141f7242
......@@ -24,6 +24,9 @@
(package frama-c)
(section (site (frama-c share)))
(files
; Auto-Complete
(autocomplete_frama-c as autocomplete_frama-c)
(_frama-c as _frama-c)
; Useful Makefiles
(Makefile.common as Makefile.common)
(Makefile.headers as Makefile.headers)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment