diff options
| author | Karl Berry <karl@gnu.org> | 1998-06-12 19:10:27 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 1998-06-12 19:10:27 +0000 |
| commit | ea9504a609ed99414a0fbd42d0b43303beb2e48f (patch) | |
| tree | 286cd42806d9545baa2427027632ff4643576414 /glob/configure.bat | |
| parent | 511cb55530b3a63078f9ee5ff603b59cb93066df (diff) | |
| download | gunmake-ea9504a609ed99414a0fbd42d0b43303beb2e48f.tar.gz | |
* texinfo.tex (\smallformatx, \smalldisplayx): New macros.
(\smallbook): Arrange to use them.
(\display, \flushleft, etc.): Rewrite to avoid duplication.
Diffstat (limited to 'glob/configure.bat')
0 files changed, 0 insertions, 0 deletions