diff options
| author | Martin Mares <mj@ucw.cz> | 2000-06-05 21:02:57 +0000 |
|---|---|---|
| committer | Martin Mares <mj@ucw.cz> | 2000-06-05 21:02:57 +0000 |
| commit | a13eaf219acf5b90af09b914a2182e23d5812aee (patch) | |
| tree | 60a910b93e91fc626707f3c2ab29660ef21027fe /tools/Makefile.in | |
| parent | 854128a5ed540f230933cdc2c787e94d2658647b (diff) | |
Define element <progdoc> which initializes different formatting for the
programmer's guide (\raggedbottom etc.).
Also, omit "\usepackage{t1enc}", so that bullets work now.
Diffstat (limited to 'tools/Makefile.in')
0 files changed, 0 insertions, 0 deletions