Skip to content

Commit

Permalink
#201 update documentation script
Browse files Browse the repository at this point in the history
  • Loading branch information
luigi-asprino committed Sep 11, 2024
1 parent 76531b8 commit 1b6e220
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions update-docs.sh
Original file line number Diff line number Diff line change
Expand Up @@ -24,6 +24,7 @@ cd ..

git add README.md SystemOverview.md CLI.md EXTENSION_MECHANISMS.md JAVA_LIBRARY.md Facade-X.md facade-x-ER.png .readthedocs.yaml mkdocs.yaml Configuration.md TUTORIALS.md A_GENTLE_INTRODUCTION_TO_SPARQL_ANYTHING.md FUNCTIONS_AND_MAGIC_PROPERTIES.md sparql-anything-it/src/test/java/io/github/sparqlanything/it/DocumentationExampleSandbox.java
git add formats/*
git add imgs/*
cp -f README.md docs/
cp -f SystemOverview.md docs/
cp -f EXTENSION_MECHANISMS.md docs/
Expand All @@ -39,6 +40,7 @@ cp -f TUTORIALS.md docs/
cp -f A_GENTLE_INTRODUCTION_TO_SPARQL_ANYTHING.md docs/
cp -f LICENSE docs/
cp -r formats docs/
cp -r imgs docs/
git add docs/*
git commit -m "#201 Update documentation '$1'"
git push

0 comments on commit 1b6e220

Please sign in to comment.