summaryrefslogtreecommitdiff
path: root/TODO
diff options
context:
space:
mode:
authorDavid Thompson <dthompson2@worcester.edu>2019-05-23 09:20:03 -0400
committerDavid Thompson <dthompson2@worcester.edu>2019-05-23 09:22:03 -0400
commit7e65331c7a6a7a3c2e70b072241db5742c1cb27d (patch)
tree7ab088addd496046002363a75fee3fd886c4cbb9 /TODO
parent3d91eb43ace55bbcce85b5fcfd9dc04ba3dfe236 (diff)
Makefile: Fix texinfo include file declaration.
Now 'make' will automatically rebuild the docs when, say, doc/api.texi is modified.
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions