diff options
author | Sergey Poznyakoff <gray@gnu.org.ua> | 2013-04-22 12:49:56 +0300 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org.ua> | 2013-04-22 12:51:39 +0300 |
commit | 554a0c5f01b9cfd445dc7872359fd57f227f0387 (patch) | |
tree | 3ab77d480dd774c8acc28126fa0d588be5a1ff11 /etc | |
parent | d28fd49756b77735300cac6ac4e2a57b92446f5d (diff) | |
download | eclat-554a0c5f01b9cfd445dc7872359fd57f227f0387.tar.gz eclat-554a0c5f01b9cfd445dc7872359fd57f227f0387.tar.bz2 |
Minor doc-related changes.
* doc/.gitignore: Add webdoc
* doc/Makefile.am: Include Makefile.inc
* doc/Makefile.inc: New file.
* grecs: Update.
* todostat.awk: Print short command names.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions