diff options
| author | Colin Watson <cjwatson@debian.org> | 2022-01-16 15:36:48 +0000 |
|---|---|---|
| committer | Colin Watson <cjwatson@debian.org> | 2022-01-16 15:36:48 +0000 |
| commit | 3c7cbd0cf391f5dde60d9420f8ee1f598de5f86c (patch) | |
| tree | 3e134cb4de685bda45b7fa3f6bb1ac93291ab55a /manual | |
| parent | 000cda3ec5f121a5c279bd5a8074f027ba0efd1f (diff) | |
Remove obsolete include/README
* include/README: Remove; it claimed that this directory contains files
created by configure, which is no longer true, and it said nothing else
useful.
* Makefile.am (dist_noinst_DATA): Remove include/README.
Diffstat (limited to 'manual')
0 files changed, 0 insertions, 0 deletions