diff --git a/doc/build/doctrees/environment.pickle b/doc/build/doctrees/environment.pickle index 924bc5a20..1ccccd8ce 100644 Binary files a/doc/build/doctrees/environment.pickle and b/doc/build/doctrees/environment.pickle differ diff --git a/doc/build/doctrees/terminal.doctree b/doc/build/doctrees/terminal.doctree index 496ab0ada..d6347a5ea 100644 Binary files a/doc/build/doctrees/terminal.doctree and b/doc/build/doctrees/terminal.doctree differ diff --git a/doc/build/html/_sources/terminal.rst.txt b/doc/build/html/_sources/terminal.rst.txt index 9b1114836..353d3d583 100644 --- a/doc/build/html/_sources/terminal.rst.txt +++ b/doc/build/html/_sources/terminal.rst.txt @@ -147,7 +147,7 @@ Terminal commands:: $ download * $ download *.script - $download *.txt + $ download *.txt free ^^^^ diff --git a/doc/build/html/terminal.html b/doc/build/html/terminal.html index 387b66d49..d7316d46a 100644 --- a/doc/build/html/terminal.html +++ b/doc/build/html/terminal.html @@ -185,7 +185,7 @@ $ download importantInfo.txt Terminal commands:
$ download *
$ download *.script
-$download *.txt
+$ download *.txt