mlr-archive / mlr-tutorial

The mlr package online tutorial
http://mlr-org.github.io/mlr/
20 stars 11 forks source link

The local page build process should be done in a folder that is in .gitignore #138

Closed mb706 closed 6 years ago

mb706 commented 6 years ago

This would probably make switching between branches and / or merging branches much less painful. I suggest a local folder next to devel and the release folders. Travis would also build into local and then mv everything into devel.

larskotthoff commented 6 years ago

Sounds good to me.