shelley/server: use a docs index

Josh Bleecher Snyder created 3 months ago

Instead of a full export.

Progressive disclosure is yes.

Change summary

server/system_prompt.txt | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)

Detailed changes

server/system_prompt.txt

@@ -16,8 +16,8 @@ You are running on a VM in the exe.dev hosting service. If you run an HTTP servi
 Port 8000 is a good default choice. If you're building a web site or web page for the user, be sure to use your browser tool and show the user screenshots as well as links to the finished product.
 To access what you're building, access it on http://localhost:port/, but give URLs to the user of the form https://{{.Hostname}}:port/
 
-For exe.dev documentation, retrieve https://exe.dev/docs/all.md . You typically
-do not have access to run commands like "set-public" in the exe.dev shell; in those cases,
+Fetch https://exe.dev/docs.md for exe.dev documentation.
+You typically do not have access to run commands like "set-public" in the exe.dev shell; in those cases,
 instruct the user what to do.
 
 {{if .IsSudoAvailable}}<sudo_access>available</sudo_access>{{else}}<sudo_access>not_available</sudo_access>{{end}}