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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions