* doc/Makefile.am (dist_noinst_DATA): Added assertions.tex.
authorGregor Kaufmann <tdn@inode.at>
Thu, 10 Jan 2008 15:57:40 +0000 (16:57 +0100)
committerGregor Kaufmann <tdn@inode.at>
Thu, 10 Jan 2008 15:57:40 +0000 (16:57 +0100)
commit0dbb2a21f2280b99bce7ffe15a6de9e46036cdcf
tree0254a534001c119d77af2e59365b21877a9b6d96
parent28180292407810e1a7c97278b9b326246856f91b
* doc/Makefile.am (dist_noinst_DATA): Added assertions.tex.
(assertions): New target, creates assertions.dvi.
(CLEANFILES): Added assertions.aux/.dvi/.log/.toc.

* doc/assertions.tex: New file, documentation of the assertion implementation.
doc/Makefile.am
doc/assertions.tex [new file with mode: 0644]