diff options
| author | David Thompson <dthompson2@worcester.edu> | 2019-05-23 09:20:03 -0400 |
|---|---|---|
| committer | David Thompson <dthompson2@worcester.edu> | 2019-05-23 09:22:03 -0400 |
| commit | 7e65331c7a6a7a3c2e70b072241db5742c1cb27d (patch) | |
| tree | 7ab088addd496046002363a75fee3fd886c4cbb9 /doc | |
| parent | 3d91eb43ace55bbcce85b5fcfd9dc04ba3dfe236 (diff) | |
Makefile: Fix texinfo include file declaration.
Now 'make' will automatically rebuild the docs when, say, doc/api.texi
is modified.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions