Index: doc/nxsh.man
===================================================================
diff -u -r7944f1c82b2b3f6379fcfa4cf3914df136b6cec9 -r0a99f5d10a1c22d4c222223fe3f2f15af104e979
--- doc/nxsh.man	(.../nxsh.man)	(revision 7944f1c82b2b3f6379fcfa4cf3914df136b6cec9)
+++ doc/nxsh.man	(.../nxsh.man)	(revision 0a99f5d10a1c22d4c222223fe3f2f15af104e979)
@@ -24,11 +24,11 @@
 
 A (more portable) alternative is:
 
-[example {
+[example_begin]
 	#! /bin/sh
 	# the next line restarts using nxsh \
 	    exec nxsh "$0" "$@"
-}]
+[example_end]
 
 [list_end]
 
Index: doc/nxwish.man
===================================================================
diff -u -r7944f1c82b2b3f6379fcfa4cf3914df136b6cec9 -r0a99f5d10a1c22d4c222223fe3f2f15af104e979
--- doc/nxwish.man	(.../nxwish.man)	(revision 7944f1c82b2b3f6379fcfa4cf3914df136b6cec9)
+++ doc/nxwish.man	(.../nxwish.man)	(revision 0a99f5d10a1c22d4c222223fe3f2f15af104e979)
@@ -24,11 +24,11 @@
 
 A (more portable) alternative is:
 
-[example {
+[example_begin]
 	#! /bin/sh
 	# the next line restarts using nxwish \
 	    exec nxwish "$0" "$@"
-}]
+[example_end]
 
 [list_end]
 
Index: doc/xotclsh.man
===================================================================
diff -u -r7944f1c82b2b3f6379fcfa4cf3914df136b6cec9 -r0a99f5d10a1c22d4c222223fe3f2f15af104e979
--- doc/xotclsh.man	(.../xotclsh.man)	(revision 7944f1c82b2b3f6379fcfa4cf3914df136b6cec9)
+++ doc/xotclsh.man	(.../xotclsh.man)	(revision 0a99f5d10a1c22d4c222223fe3f2f15af104e979)
@@ -24,11 +24,11 @@
 
 A (more portable) alternative is:
 
-[example {
+[example_begin]
 	#! /bin/sh
 	# the next line restarts using xotclsh \
 	    exec xotclsh "$0" "$@"
-}]
+[example_end]
 
 [list_end]
 
Index: doc/xowish.man
===================================================================
diff -u -r7944f1c82b2b3f6379fcfa4cf3914df136b6cec9 -r0a99f5d10a1c22d4c222223fe3f2f15af104e979
--- doc/xowish.man	(.../xowish.man)	(revision 7944f1c82b2b3f6379fcfa4cf3914df136b6cec9)
+++ doc/xowish.man	(.../xowish.man)	(revision 0a99f5d10a1c22d4c222223fe3f2f15af104e979)
@@ -24,11 +24,11 @@
 
 A (more portable) alternative is:
 
-[example {
+[example_begin]
 	#! /bin/sh
 	# the next line restarts using xowish \
 	    exec xowish "$0" "$@"
-}]
+[example_end]
 
 [list_end]