DibyashanuPati/PhysLean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update _config.yml

Browse source
This commit is contained in:
jstoobysmith 2024-06-15 11:29:19 -04:00
parent 68ed619345
commit 5f6daff2df
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
doc/_config.yml
View file

@ -22,8 +22,8 @@ title: HepLean
#email: your-email@example.com
description: >- # this means to ignore newlines until "baseurl:"
A project to digitalize results from high-energy physics into Lean 4.
baseurl: "https://heplean.github.io/HepLean/" # the subpath of your site, e.g. /blog
url: "" # the base hostname & protocol for your site, e.g. http://example.com
baseurl: "/HepLean" # the subpath of your site, e.g. /blog
url: "https://heplean.github.io" # the base hostname & protocol for your site, e.g. http://example.com
#twitter_username: jekyllrb
github_username: HEPLean