diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2012-04-08 23:08:37 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2012-04-08 23:08:37 +0200 |
| commit | 7d5a62da64c0f1a61fb2ea7b0e76950e12b422cd (patch) | |
| tree | 2a12fe59515d22438cbdd0369c61498510176ed1 /doc/Makefile | |
| parent | cd0fd36ff291a301e3c8e198b987d15bb2bc2486 (diff) | |
Remove hurd/install-headers.
* hurd/configure: Remove file.
* hurd/configure.ac: Likewise.
* hurd/install-headers.in: Likewise.
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions