Update _config.yml

This commit is contained in:
jstoobysmith 2025-01-08 15:56:29 +00:00
parent acea86ee08
commit f3a7a1e694

View file

@ -21,9 +21,9 @@
title: "HepLean: Digitalizing High-Energy Physics in Lean 4"
#email: HEPLean
description: >- # this means to ignore newlines until "baseurl:"
A project to digitalize results from high-energy physics into Lean 4.
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
A project to digitalize results from high-energy physics into Lean 4.
baseurl: "" # the subpath of your site, e.g. /blog
url: "https://heplean.com" # the base hostname & protocol for your site, e.g. http://example.com
#twitter_username: jekyllrb
github_username: "HEPLean"
repository: HEPLean/HepLean