• Tristan Cavelier's avatar
    Replace grunt by makefile: see description · 94a60a48
    Tristan Cavelier authored
    Grunt is not used anymore. Why?
    Grunt is realy useful when you want to do some tasks to several files,
    like jslint src/**/*.js. But in this case, each files have their own
    specific dependencies. For instance, davstorage has jIO, jQuery and Base64,
    revisionstorage has jIO and hex_sha256, jio.outro needs hex_md5, etc.
    Why use a Makefile?
    - All developers know Makefiles
    - We can choose a task by typing "make <task>"
    - It is more extensible than grunt
    - It removes grunt dependency
    94a60a48
Makefile 1.44 KB