diff options
| -rw-r--r-- | distrib/coq.spec | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/distrib/coq.spec b/distrib/coq.spec index f7cde4b327..34954c6e42 100644 --- a/distrib/coq.spec +++ b/distrib/coq.spec @@ -60,6 +60,8 @@ fi /usr/bin/coqdep /usr/bin/gallina /usr/bin/coq_makefile +/usr/bin/coq-interface +/usr/bin/parser #/usr/bin/coq_searchisos.out /usr/bin/coqmktop #/usr/bin/coq2html |