Commit b5b39d74 authored by Lucas Amoudruz's avatar Lucas Amoudruz
Browse files

more about deploy

parent f07adfc9
......@@ -51,10 +51,15 @@ make -j # <2>
== Deploy
The deploy command cleans, builds and pushes the documentation on github pages https://github.com/amlucas/udoc
The deploy command cleans, builds and pushes the documentation on
github pages https://github.com/amlucas/udoc.
The commit message on the udoc repository points on the current
`uDeviceX` commit. It is preferable to have a clean local repository
before deploying:
[source, sh]
----
git clean -xdf
./tools/deploy
----
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment