Skip to content

Commit

Permalink
Merge pull request #118 from VariantSync/develop
Browse files Browse the repository at this point in the history
Fix GitHub pages style sheet
  • Loading branch information
pmbittner authored Jan 27, 2024
2 parents e2283fd + 74eca7d commit d600030
Show file tree
Hide file tree
Showing 3 changed files with 6 additions and 4 deletions.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -66,7 +66,7 @@ nix build # Flake version
```
In case you are using Nix Flakes, you can skip cloning the repository as usual: `nix build github:VariantSync/DiffDetective#.`

Afterward, the [result](result) symlink points to the [Javadoc](result/share/github-pages/docs/javadoc/index.html), the [DiffDetective jar](result/share/java/DiffDetective/DiffDetective.jar) and a simple [script](result/bin/DiffDetective) for executing a DiffDetective main class provided as argument (e.g., evaluations used in previous research, see below under 'Publications').
Afterward, the [result](result) symlink points to the [Javadoc](result/share/github-pages/DiffDetective/docs/javadoc/index.html), the [DiffDetective jar](result/share/java/DiffDetective/DiffDetective.jar) and a simple [script](result/bin/DiffDetective) for executing a DiffDetective main class provided as argument (e.g., evaluations used in previous research, see below under 'Publications').

## Publications

Expand Down
3 changes: 2 additions & 1 deletion _config.yml
Original file line number Diff line number Diff line change
@@ -1 +1,2 @@
theme: jekyll-theme-cayman
theme: jekyll-theme-cayman
baseurl: DiffDetective
5 changes: 3 additions & 2 deletions default.nix
Original file line number Diff line number Diff line change
Expand Up @@ -73,7 +73,7 @@ pkgs.stdenv.mkDerivation rec {
if buildGitHubPages
then ''
mvn javadoc:javadoc
PAGES_REPO_NWO=VariantSync/DiffDetective JEKYLL_BUILD_REVISION= github-pages build
JEKYLL_ENV=production PAGES_REPO_NWO=VariantSync/DiffDetective JEKYLL_BUILD_REVISION= github-pages build
''
else ""
}
Expand Down Expand Up @@ -102,7 +102,8 @@ pkgs.stdenv.mkDerivation rec {
${
if buildGitHubPages
then ''
cp -r _site "$out/share/github-pages"
mkdir "$out/share/github-pages"
cp -r _site "$out/share/github-pages/DiffDetective"
''
else ""
}
Expand Down

0 comments on commit d600030

Please sign in to comment.