Closed bguil closed 10 years ago
Thank you for the pull request. Actually the change is going to be in the opposite direction. eliom-destillery has been renamed into eliom-distillery and the tutorial version available on the Web site did the change too quickly. I think this is due to the fact that the tutorial is not versioned on the Web site :/
As we are going to release Eliom 4 in a few days (weeks?) I suggest that we try to solve first the versioning pb with the tutorial, and NOT to accept this patch, as the current version of the tutorial repository corresponds to the dev version of eliom.
I suggest a manual fix on the Web site for version 3 of Eliom.
No problem if you don't accept my pull request! It was just a way to let you know about the inconsistency.
It should be fixed now. Tutorial has version numbers and 3.0 is using destillery whereas 4.0 is using distillery. :)
The tutorial and the code are inconsistent: