diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2000-05-17 11:45:56 +0000 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2000-05-17 11:45:56 +0000 |
| commit | d3229ae3bd75cc51f2f6542b542c50db93172be6 (patch) | |
| tree | 4cb73cff2151314730c67e94a05708a8747c51f5 /makefile.vms | |
| parent | d80380145f9edc769f421ab26a0f27819d39b9b5 (diff) | |
| download | gdb-d3229ae3bd75cc51f2f6542b542c50db93172be6.zip gdb-d3229ae3bd75cc51f2f6542b542c50db93172be6.tar.gz gdb-d3229ae3bd75cc51f2f6542b542c50db93172be6.tar.bz2 | |
* mmalloc/Makefile.in (install-info): Make sure $(infodir) exists.
Run install-info program on the installed Info files.
* gdb/doc/Makefile.in (install-info): Run install-info on installed
Info files.
Diffstat (limited to 'makefile.vms')
0 files changed, 0 insertions, 0 deletions