Disobedience: show playing/random-play global prefs as checkboxes.

[disorder] / disobedience / manual / index.html

diff --git a/disobedience/manual/index.html b/disobedience/manual/index.html
index 8f397ebef88bc8aecd514a70fd013940b9ee2ae9..72450247f2ff1542e31318cd53a8d5b457be8596 100644 (file)
--- a/disobedience/manual/index.html
+++ b/disobedience/manual/index.html
@@ -66,9 +66,9 @@ along with this program.  If not, see <http://www.gnu.org/licenses/>.
    <p class=chapter><a href="misc.html">Appendix</a></p>
 
    <ul>
-     <li>Network play.</li>
-     <li>Reporting bugs.</li>
-     <li>Copyright notice.</li>
+     <li>Network play</li>
+     <li>Reporting bugs</li>
+     <li>Copyright notice</li>
    </ul>
 
  </body>