Skip to content

Commit

Permalink
update script
Browse files Browse the repository at this point in the history
  • Loading branch information
jomifred committed Oct 20, 2023
1 parent 623778a commit 82e99c9
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 6 deletions.
10 changes: 5 additions & 5 deletions doc/publishDocInGHPages.sh
Original file line number Diff line number Diff line change
Expand Up @@ -6,19 +6,19 @@ cd ..
#git clone https://github.com/jason-lang/jason.git --branch gh-pages-new --single-branch /tmp/gh-pages

rm -rf ../jason-pages/api
rm -rf ../jason-pages/doc
#rm -rf ../jason-pages/doc

cp -R jason-interpreter/build/docs/javadoc ../jason-pages/api
cp -R doc ../jason-pages
#cp -R doc ../jason-pages


cd ../jason-pages
git add api
git commit -a -m "add javadoc api"

find doc -name readme.html -execdir cp readme.html index.html \;
git add doc
git commit -a -m "add jason github doc folder"
#find doc -name readme.html -execdir cp readme.html index.html \;
#git add doc
#git commit -a -m "add jason github doc folder"

git push

Expand Down
2 changes: 1 addition & 1 deletion doc/readme.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ Jason is an interpreter for an extended version of AgentSpeak. It implements the
Jason is developed by http://https://jomifred.github.io[Jomi F. Hübner] and http://www.inf.pucrs.br/r.bordini[Rafael H. Bordini], based on previous work done with many colleagues, in particular Michael Fisher, Joyce Martins, Álvaro Moreira, Renata Vieira, Willem Visser, Mike Wooldridge, but also many others, as acknowledged in the manual (see the http://jason-lang.github.io/[Jason web site]).

ifdef::env-github[]
NOTE: The documentation of is also available (and better rendered) at http://jason-lang.github.io/doc.
NOTE: The documentation of is also available (and better rendered) at http://jason-lang.github.io/jason/.
endif::[]

== Installation
Expand Down

0 comments on commit 82e99c9

Please sign in to comment.