diff options
| author | Martin Mares <mj@ucw.cz> | 2000-06-05 19:17:37 +0000 |
|---|---|---|
| committer | Martin Mares <mj@ucw.cz> | 2000-06-05 19:17:37 +0000 |
| commit | 2debcb9eb0d76362003726ca8b0f5f43ee275dee (patch) | |
| tree | 4b0cc821ada76b50eded2ad93a1e70b5b7ec8647 /misc/Makefile | |
| parent | fdb0c540a82d9732d4d1d36c83e186f36d756d08 (diff) | |
Move TeX trickery for typesetting of function descriptions to where
it belongs.
Diffstat (limited to 'misc/Makefile')
0 files changed, 0 insertions, 0 deletions