diff options
author | Mathieu Lirzin <mthl@gnu.org> | 2015-11-12 23:05:17 +0100 |
---|---|---|
committer | David Thompson <dthompson2@worcester.edu> | 2015-12-06 13:46:41 -0500 |
commit | 5b09c3c3feaf00a39f2faee2a4f8f833e07df919 (patch) | |
tree | c1e65ea329ca962ed583bf37d37102c19978691b /website/js/piwik.js | |
parent | b4778239643436b21f6cf513d0ad58e0d5aafdde (diff) |
doc: Add support for 'install-info'.
* doc/haunt.texi: Use '@dircategory' and '@direntry'.
Diffstat (limited to 'website/js/piwik.js')
0 files changed, 0 insertions, 0 deletions