Diff from to
 documentation and examples. See the Sage installation guide at for complete instructions and for a quick usage
-introduction. The complete documentation is in sagetexpackage.pdf, in
+introduction. The complete documentation is in sagetex.pdf, in
 the SAGE_ROOT/... directory mentioned above.
 If you want to extract any of SageTeX's files from the .dtx sources, you
 can do
-  0. Run `latex sagetexpackage.ins'
+  0. Run `latex sagetex.ins'
 To regenerate the documentation, do
-  1. Run `latex sagetexpackage.dtx'
-  2. Run `sage sagetexpackage.sage'
+  1. Run `latex sagetex.dtx'
+  2. Run `sage sagetex.sage'
   3. Run the indexing commands that the .ins file told you about.
-  4. Run `latex sagetexpackage.dtx' again.
+  4. Run `latex sagetex.dtx' again.
 You can skip step 3 if you don't care about the index. You will need the
 pgf and tikz packages installed to typeset the figures.
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.