8000 Update meta-doc · google-deepmind/torch-randomkit@bebe8d1 · GitHub
[go: up one dir, main page]

S 8000 kip to content

Commit bebe8d1

Browse files
author
Julien Cornebise
committed
Update meta-doc
1 parent 9cd1452 commit bebe8d1

File tree

1 file changed

+9
-2
lines changed

1 file changed

+9
-2
lines changed

doc/src/README.DOC.markdown

Lines changed: 9 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -12,13 +12,20 @@ cd doc/src
1212
bundle exec jekyll build --source ./ --destination ../html
1313
{%endhighlight}
1414

15+
Commit
16+
{%highlight bash}
17+
git commit -m "Update HTML doc"
18+
{%endhighlight}
19+
1520
Then merge to the gh-pages branch:
1621
{%highlight bash}
17-
git subtree split --prefix doc/html --branch gh-pages
22+
cd ../..
23+
git checkout gh-pages
24+
git merge master -X subtree=doc/html
1825
{%endhighlight}
1926

2027
And push:
2128
{%highlight bash}
22-
git checkout gh-pages
2329
git push
30+
git checkout master
2431
{%endhighlight}

0 commit comments

Comments
 (0)
0