		 Notes about the SDE User's Manual sources.
				 Mar 9, 1994
		 Michael Hucka <hucka@manic.eecs.umich.edu>
	     AI Lab, University of Michigan EECS, Michigan, USA


How to generate a .dvi file from the SDE User's Manual sources
--------------------------------------------------------------

You should be able to create a printable copy of this manual using the
following steps:

    latex sde.tex
    latexindex sde.??
    latex sde.tex
    latex sde.tex

The latexindex program is supplied with LaTeXinfo; contact me for a copy.


Notes about the files contained here
------------------------------------

* sde.info

Ready-to-use on-line SDE User's Manual in GNU Info format.

* sde.ps

Ready-to-print PostScript version of the SDE User's Manual.

* sde.tex 

The LaTeXinfo sources to the SDE User's Manual. 

* book.sty, bk11.sty

The versions of book.sty and bk11.sty included here were copied from a
standard LaTeX distribution, version 2.09, and modified to suit my tastes.
Modifications to LaTeX book.sty and bk11.sty:
    * Don't print page number on the first page of a chapter
    * Use sans serif font for all titles

* latexinfo.sty

A slightly modified version of latexinfo.sty supplied with the LaTeXinfo 1.9
distribution.  The modifications were:
    * Capitalize Section names, i.e., use "Section 10" instead of "section 10".

* fullpage.sty

This file decreases the margins to use more space for text on standard
American letter-sized paper.  I picked this up off the Internet some years
ago.

