Files

 master

/

doc

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

schettino72

CI: workflow fixes.

Jan 15, 2023

d829918 · Jan 15, 2023

History

History

/

doc

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
_static		_static	docs: add static files required by universal homepage.	Jul 16, 2018
_templates		_templates	docs: make use press_theme feature for external links.	May 8, 2021
old		old	docs: remove old homepage from built html.	Jan 16, 2022
samples		samples	Correct title.py	Aug 21, 2022
svg		svg	update SVG images	Jun 11, 2018
tutorial		tutorial	Fix pathlib bug in tutorial (#292)	May 3, 2019
Makefile		Makefile	doc: uses press theme	May 26, 2019
changes.rst		changes.rst	update docs (part 1)	Oct 5, 2009
cmd-other.rst		cmd-other.rst	docs: update info on auto command as a plugin.	Apr 22, 2022
cmd-run.rst		cmd-run.rst	doc: tweak titles	Jan 24, 2022
conf.py		conf.py	release 0.36.0	Apr 22, 2022
configuration.rst		configuration.rst	remove support for unmaintained toml lib. fix docs.	Apr 12, 2022
contents.rst		contents.rst	doc: tweak titles	Jan 24, 2022
dependencies.rst		dependencies.rst	docs: SEO add title and meta keywords.	Jan 23, 2022
dictionary.txt		dictionary.txt	CI: workflow fixes.	Jan 15, 2023
extending.rst		extending.rst	docs: SEO add title and meta keywords.	Jan 23, 2022
faq.rst		faq.rst	docs: SEO add title and meta keywords.	Jan 23, 2022
globals.rst		globals.rst	CI: upgrade github actions versions.	Jan 15, 2023
google726fc03ab55ebbfc.html		google726fc03ab55ebbfc.html	docs: add google search verfication file.	Jan 7, 2022
index.html		index.html	release 0.36.0	Apr 22, 2022
install.rst		install.rst	docs: update info on auto command as a plugin.	Apr 22, 2022
make.bat		make.bat	docs: sphinx reboot.	Jul 16, 2018
open_collective.md		open_collective.md	doc: open-collective, move docs work to "long term vision".	Feb 11, 2018
presentation.rst		presentation.rst	task to spell check docs + many typo fixes	Jun 12, 2013
related.rst		related.rst	docs: SEO add title and meta keywords.	Jan 23, 2022
robots.txt		robots.txt	docs: add robots.txt	Jan 11, 2022
stories.rst		stories.rst	Update robot arm wording	Sep 7, 2022
support.rst		support.rst	docs: SEO add title and meta keywords.	Jan 23, 2022
task-args.rst		task-args.rst	doc: tweak titles	Jan 24, 2022
task-creation.rst		task-creation.rst	docs: SEO add title and meta keywords.	Jan 23, 2022
tasks.rst		tasks.rst	doc: fix command line usage of wildcard pattern.	Mar 20, 2022
tools.rst		tools.rst	docs: SEO add title and meta keywords.	Jan 23, 2022
tutorial-1.rst		tutorial-1.rst	doc: tweak titles	Jan 24, 2022
uptodate.rst		uptodate.rst	doc: tweak titles	Jan 24, 2022
usecases.rst		usecases.rst	docs: SEO add title and meta keywords.	Jan 23, 2022
View all files