diff options
author | Paul Garlick <pgarlick@tourbillion-technology.com> | 2020-07-16 17:33:01 +0100 |
---|---|---|
committer | Paul Garlick <pgarlick@tourbillion-technology.com> | 2020-07-16 17:33:01 +0100 |
commit | 7fbf3a9f80d1cb9e42f5bc75474c3796e01630bd (patch) | |
tree | d23c6359c5583d782cf1415f466c3c99783ea0e3 /manual/index.html | |
parent | 64f322edca840529a0ecd6e897490e345e4be26f (diff) | |
download | fullSWOF-utils-7fbf3a9f80d1cb9e42f5bc75474c3796e01630bd.tar.gz |
doc: Construct info directory file.
* Makefile: Add target.
* doc/dir: New file.
* doc/fullswof-utils.texi: Add directory entry and category.
Diffstat (limited to 'manual/index.html')
0 files changed, 0 insertions, 0 deletions