Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update the script in charge of generating the documentation #626

Closed
dubzzz opened this issue Jun 14, 2020 · 1 comment
Closed

Update the script in charge of generating the documentation #626

dubzzz opened this issue Jun 14, 2020 · 1 comment
Labels
✔️ Bug Confirmed first-timers-only good first issue easy issue to start with - contributions welcome

Comments

@dubzzz
Copy link
Owner

dubzzz commented Jun 14, 2020 •
edited
Loading

This script, defined in the root package.json, makes use of mkdir -p which is not working on Windows. We should replace it by the npm package mkdirp
@dubzzz dubzzz added first-timers-only good first issue easy issue to start with - contributions welcome ✔️ Bug Confirmed labels Jun 14, 2020
@markkulube
Copy link
Contributor

markkulube commented Jun 14, 2020 •
edited
Loading

@dubzzz I will work on it.

markkulube added a commit to markkulube/fast-check that referenced this issue Jun 16, 2020
@markkulube
Update script to an nmp package for compatibility on with windows: mk…
eb4f992 
…dir -p --> mkdirp (dubzzz#626).
@markkulube markkulube mentioned this issue Jun 16, 2020
Merged
@dubzzz dubzzz closed this as completed Jun 19, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
✔️ Bug Confirmed first-timers-only good first issue easy issue to start with - contributions welcome
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@dubzzz @markkulube