Update updatedocs.command

charlymr · Nov 6, 2021 · 82b99b2 · 82b99b2
1 parent 489b612
commit 82b99b2
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/updatedocs.command b/updatedocs.command
@@ -3,6 +3,13 @@
 ### WARNING WORK ONLY with cutom domain.
 ### See https://docs.github.com/articles/using-a-custom-domain-with-github-pages/ for more details
 ###
+### Comit your files, then in the repo, go to Settings / Pages 
+###  - Source should be branch/docs
+###  - Custom domain should be <your custom subdomain>
+###
+### Don't forget to add the CNAME to your DNS zone
+###
+
 export GITHUBNAME=charlymr
 export SCHEME=IRLPDFScanContent
 export CUSTOMDOMAIN=irlpdfscancontent.irlmobile.com
@@ -33,4 +40,4 @@ cp -pr docs/index.html docs/tutorial/
 cp -pr docs/data/documentation/*.json docs/data/documentation.json
 
 echo '<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">' > docs/index.html
-echo '<html<head><META HTTP-EQUIV="refresh" content="0;URL=/documentation"></head></html>' >> docs/index.html
+echo '<html<head><META HTTP-EQUIV="refresh" content="0;URL=/documentation"></head></html>' >> docs/index.html