wh5a/cil — comment on commit c8ffa18aa3757a0ba8e3b5ca555aff470f351c6b
File:  line 0
By kerneis:

FYI: I removed it because I decided to merge the gh-pages and master branch. To put it another way, if you check out my gh-pages (or master) branch, you get the full CIL source with the doc already generated in doc/html/cil directory. This allows me to generate the archive with git archive (on master) and makes it straightforward to publish the doc (git checkout gh-pages && git merge develop && make doc && git add doc/html && git commit -m "Update doc"). I don't like the idea of having a "git merge" in a Makefile target, though.