Ce serveur Gitlab sera éteint le 30 juin 2020, pensez à migrer vos projets vers les serveurs gitlab-research.centralesupelec.fr et gitlab-student.centralesupelec.fr !

Commit 403cc487 authored by yagnesh రాఘవ's avatar yagnesh రాఘవ

Merge pull request #1557 from dholm/bugfix/flycheck

Flycheck requires the info file to be built again
parents 66f19b49 0a71a1b4
......@@ -2,5 +2,6 @@
:type github
:pkgname "flycheck/flycheck"
:description "On-the-fly syntax checking extension"
:build '(("makeinfo" "-o" "doc/flycheck.info" "doc/flycheck.texi"))
:info "./doc"
:depends (s dash cl-lib f pkg-info))
Markdown is supported
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