Add instructions in README to update nanoyalla

ComputerAidedLL / click-and-collect

A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml

GNU Lesser General Public License v2.1

19 stars 2 forks source link

Closed etiennecallies closed 3 years ago

etiennecallies commented 3 years ago

Since we need to manually increment nanoyalla version, we can also run a command to zip nanoyalla directory. Much easier.

olaure01 commented 3 years ago

Do you mean having the nanoyalla.zip file in the git? If so I thought it was not a good idea to have non-source files in the git.

etiennecallies commented 3 years ago

It's not the best practice ever, but it's simple, and I don't know how to customize ocsigen Makefile.