Minor styling

tlienart · Oct 10, 2022 · 30a3ab9 · 30a3ab9
1 parent 9984167
commit 30a3ab9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/workflow/deploy.md b/docs/workflow/deploy.md
@@ -33,7 +33,7 @@ Your site should now be live, with the index page appearing at `http://my.exampl
 Start by creating an empty GitHub repository
 
 @@tlist
-* for a personal (or org) website the repository **must** be named `username.github.io` (or `orgname.github.io`) see also [the Github pages docs](https://pages.github.com/),
+* for a personal (or org) website the repository **must** be named `username.github.io` (or `orgname.github.io`) see also [the Github pages docs](https://pages.github.com/).
 * for a project website the repo can be named anything you want, let's say `myWebsite`.
 @@
 

diff --git a/docs/workflow/index.md b/docs/workflow/index.md
@@ -199,7 +199,7 @@ See `?publish` for more information.
 
 In any case, before deploying, if you're working on a _project website_ i.e. a website whose root URL will look like `username.gitlab.io/project/` then you should add the following line in your `config.md` file:
 
-```markdown
+```julia
 @def prepath = "project"
 ```