updated gui help menu to point to github home page and github documentation

This commit is contained in:
Blake J. Harnden 2018-07-25 12:50:19 -07:00
parent 9ce28da658
commit 055f732cc7

View file

@ -594,10 +594,10 @@ menu .menubar.session -tearoff 1
# Help
#
menu .menubar.help -tearoff 0
.menubar.help add command -label "Online manual (www)" -command \
"_launchBrowser https://downloads.pf.itd.nrl.navy.mil/docs/core/core-html/"
.menubar.help add command -label "CORE website (www)" -command \
"_launchBrowser https://www.nrl.navy.mil/itd/ncs/products/core"
.menubar.help add command -label "CORE GitHub (www)" -command \
"_launchBrowser https://github.com/coreemu/core"
.menubar.help add command -label "CORE Documentation (www)" -command \
"_launchBrowser https://coreemu.github.io/core/"
.menubar.help add command -label "Mailing list (www)" -command \
"_launchBrowser https://publists.nrl.navy.mil/mailman/listinfo/core-users"
.menubar.help add command -label "About" -command popupAbout