Skip to content

Commit 90c5e25

Browse files
committed
Minor Changes
1 parent 0b40a45 commit 90c5e25

4 files changed

Lines changed: 8 additions & 1 deletion

File tree

README.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22

33
Documentation website for LiquidJava, a refinement type checker for Java with support for liquid types and typestates.
44

5+
**Live documentation:** [liquid-java.github.io/liquidjava-docs](https://liquid-java.github.io/liquidjava-docs/)
6+
57
The site is built with Jekyll and the `just-the-docs` theme.
68

79
## Run Locally
@@ -29,4 +31,4 @@ bundle exec jekyll build
2931

3032
## Publishing
3133

32-
The site is configured as a GitHub Pages project site at `https://liquid-java.github.io/liquidjava-docs`.
34+
The site is configured as a GitHub Pages project site at [https://liquid-java.github.io/liquidjava-docs/](https://liquid-java.github.io/liquidjava-docs/).

_config.yml

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
title: LiquidJava Docs
2+
lang: en-US
23
theme: just-the-docs
34
color_scheme: liquidjava
45
liquidjava_api_version: 0.0.5
@@ -9,6 +10,7 @@ liquidjava_tutorial_url: https://github.com/liquid-java/liquidjava-tutorial
910

1011
url: https://liquid-java.github.io
1112
baseurl: /liquidjava-docs
13+
repository: liquid-java/liquidjava-docs
1214

1315
permalink: pretty
1416
search_enabled: true
@@ -41,6 +43,7 @@ defaults:
4143
path: ""
4244
values:
4345
layout: default
46+
image: /assets/images/Liquid2.png
4447

4548
exclude:
4649
- .DS_Store

_includes/head_custom.html

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
11
<link rel="preconnect" href="https://fonts.googleapis.com">
22
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
33
<link href="https://fonts.googleapis.com/css2?family=Atkinson+Hyperlegible:wght@400;700&family=JetBrains+Mono:wght@400;600&display=swap" rel="stylesheet">
4+
<link rel="sitemap" type="application/xml" title="Sitemap" href="{{ '/sitemap.xml' | absolute_url }}">

google42d7f944b8f24075.html

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
google-site-verification: google42d7f944b8f24075.html

0 commit comments

Comments
 (0)