2023-01-31 16:40:07 +01:00
|
|
|
{
|
|
|
|
|
"framework": "docusaurus-2",
|
|
|
|
|
"outputDirectory": "build",
|
|
|
|
|
"github": {
|
|
|
|
|
"silent": false
|
|
|
|
|
},
|
|
|
|
|
"cleanUrls": false,
|
|
|
|
|
"public": true,
|
2023-02-01 18:14:30 +01:00
|
|
|
"ignoreCommand": "git diff --quiet HEAD^ HEAD -- ../website/ ../docs/"
|
2023-01-31 23:58:04 +01:00
|
|
|
}
|
