Documentation update

blakemcbride · Oct 19, 2023 · 61aec73 · 61aec73
1 parent 01ee095
commit 61aec73
Show file tree

Hide file tree

Showing 11 changed files with 26 additions and 26 deletions.
diff --git a/manual/developing.tex b/manual/developing.tex
@@ -63,11 +63,11 @@
 
 @enumerate
 @item
-In a command-prompt, type:  @code{./view-log}
+In a command-prompt, type:  @code{./view-log} (not needed on Windows)
 
-This is where back-end messages appear. (Note that this command is not needed under Windows.)
+This is where back-end messages appear. This command is not needed under Windows.
 @item
-In a second command-prompt, type:  @code{./bld develop}
+In a second command-prompt, type:  @code{./bld develop} (@code{bld develop} on Windows)
 
 This builds the system and runs the back-end and front-end servers.
 @item
@@ -83,7 +83,7 @@
 
 This is where you debug the front-end.
 @item
-Be sure to disable caching on the browser. (Otherwise, changes you make to 
+Be sure to disable network caching on the browser. (Otherwise, changes you make to
 the front-end will not immediately appear in the browser.)
 @end enumerate
 

diff --git a/manual/man/Back_002dend-API.html b/manual/man/Back_002dend-API.html
diff --git a/manual/man/Command-Line-Utility.html b/manual/man/Command-Line-Utility.html
diff --git a/manual/man/Desktop-Application.html b/manual/man/Desktop-Application.html
diff --git a/manual/man/Developing.html b/manual/man/Developing.html
diff --git a/manual/man/Front_002dend-API.html b/manual/man/Front_002dend-API.html
diff --git a/manual/man/Introduction.html b/manual/man/Introduction.html
diff --git a/manual/man/Orientation.html b/manual/man/Orientation.html
diff --git a/manual/man/Split-System.html b/manual/man/Split-System.html
diff --git a/manual/man/System-Setup.html b/manual/man/System-Setup.html
diff --git a/manual/man/index.html b/manual/man/index.html