diff options
| author | François Revol <revol@free.fr> | 2018-06-02 23:53:48 +0200 |
|---|---|---|
| committer | Vincent Sanders <vince@kyllikki.org> | 2019-02-22 08:57:40 +0000 |
| commit | 92a826bc60cefa6b9b222381d724340ecf615f97 (patch) | |
| tree | 3190742ac9aab531bd7abf33c2551abbbefd804c /.gitignore | |
| parent | 95a9aa06c85692f643e597cfc5c9ca21e273e2ae (diff) | |
| download | toolchains-92a826bc60cefa6b9b222381d724340ecf615f97.tar.gz toolchains-92a826bc60cefa6b9b222381d724340ecf615f97.tar.bz2 | |
atari-mint: completely skip using makeinfo
Fixes "no matching `@end tex'" errors triggered with recent makeinfo.
Who needs documentation anyway.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions