This commit corrects the last commit of Hugo that broke down the "make depend" command.
This commit corrects the last commit of Hugo that broke down the "make depend"
command.


git-svn-id: 44dc50bdcc0f5d1a212c497508dc9452e0b35e2b@6578 85f007b7-540e-0410-9357-904b9bb8a0f7

ppedrot/coq,william-lawvere/coq,Matafou/coq,shindere/coq,mattam82/Coq-misc,Matafou/coq,Ptival/coq,JasonGross/coq,maximedenes/coq,silene/coq,tomprince/coq,barras/coq,8l/coq,coq/coq,amintimany/coq,gmalecha/coq,TheTypoMaster/coq,maximedenes/coq,william-lawvere/coq,aspiwack/coq,Lionel-Rieg/coq,jpdeplaix/coq,pirapira/coq2rust,gares/coq,pirapira/coq2rust,herbelin/coq-hh,gares/coq,SkySkimmer/coq,tomprince/coq,ejgallego/coq,letouzey/coq-wip,aspiwack/coq,ale-f/coq,SkySkimmer/coq,ale-f/coq,asr/coq,ppedrot/coq,TheTypoMaster/coq,amintimany/coq,shindere/coq,barras/coq,mattam82/coq,Zimmi48/coq,mlasson/coq,JasonGross/coq,jhjourdan/coq,ppedrot/coq,ejgallego/coq,pirapira/coq2rust,letouzey/coq-wip,coq/coq,coq/coq,TOSPIO/coq,shindere/coq,barras/coq,pirbo/coq,ppedrot/coq,jhjourdan/coq,Zimmi48/coq,TheTypoMaster/coq,8l/coq,Zimmi48/coq,maximedenes/coq,8l/coq,letouzey/coq-wip,pirbo/coq,mlasson/coq,letouzey/coq-wip,herbelin/github-coq,mattam82/coq,herbelin/coq-hh,pirbo/coq,ppedrot/coq,coq/coq,mattam82/coq,asr/coq,Zimmi48/coq,TOSPIO/coq,Matafou/coq,SkySkimmer/coq,Ptival/coq,jhjourdan/coq,Ptival/coq,tomprince/coq,herbelin/github-coq,JasonGross/coq,gmalecha/coq,ale-f/coq,silene/coq,Lionel-Rieg/coq,gares/coq,amintimany/coq,letouzey/coq-wip,silene/coq,herbelin/github-coq,jpdeplaix/coq,gmalecha/coq,ejgallego/coq,maximedenes/coq,mattam82/Coq-misc,JasonGross/coq,mlasson/coq,jpdeplaix/coq,Lionel-Rieg/coq,gares/coq,ejgallego/coq,william-lawvere/coq,SkySkimmer/coq,gares/coq,maximedenes/coq,aspiwack/coq,asr/coq,TOSPIO/coq