HTML dev docs #15678
coyotte508
merged
24 commits into
master
from
html-docs
Attempt at HTML doc
29a39d2b
Fix github action
acc1b64b
Install node on the github action
cc5c2e24
Fix npm install command
94822908
Remove custom node
cc02a5fc
Use github action to install NPM
84f36afa
Use correct branch of doc builder
306e6a03
Also build non-dev doc with HTML
9be0edd7
Merge remote-tracking branch 'origin/master' into html-docs
3f05e7c9
Run build doc with explicit name
e2550187
Try building with only one thread
6e0309c1
Try with more RAM
17b2b93a
See if it still works without CONCURRENCY option
49387b87
Copy docs generated to correct dir
82656bf2
Set master as the target for build_documentation
5fa2fb98
Apply suggestions from code review
b88e7bd9
👷 Simplifiy dev documentation with --html flag
4e39a1b8
👷 Simplify build_documentation by using --html
e75ac44c
👷 Remove useless clone of doc-builder
1b8bd394
👷 Try to find the kit folder during doc build
c31dc629
👷 Update regular doc build
9bea67f6
sgugger
approved these changes
on 2022-02-22
mishig25
commented
on 2022-02-22
mishig25
commented
on 2022-02-22
coyotte508
commented
on 2022-02-22
trigger docs rebuild
10b63b39
Merge remote-tracking branch 'origin/master' into html-docs
47f1fabf
Remove reference to kit branch of doc-builder
94962fd2
Login to write a write a comment.
Login via GitHub