doc markdownlint
This commit is contained in:
parent
69d2bb938a
commit
ef8966a537
|
@ -0,0 +1,5 @@
|
|||
{
|
||||
"default": true,
|
||||
"MD013": false,
|
||||
"whitespace": false
|
||||
}
|
|
@ -137,3 +137,11 @@ You can do that by following these steps:
|
|||
2. Press the blue "Commit" button.
|
||||
|
||||
3. Any changes you pushed up should be live on our website within 5 to 10 minutes.
|
||||
|
||||
## Linting
|
||||
|
||||
Documentation people: please ignore this for now.
|
||||
|
||||
We may decide to check the documentation with a "linter" which is designed to keep the documentation consistent and standardized.
|
||||
One option is https://github.com/igorshubovych/markdownlint-cli, which uses https://github.com/DavidAnson/markdownlint, which seems to be more popular than https://github.com/markdownlint/markdownlint.
|
||||
A `.markdownlint.jsonc` file has been added that configures the same markdownlint program (basically to ignore the rule about long lines, since we are using ventilated prose).
|
||||
|
|
Loading…
Reference in New Issue