diff options
| author | Michael Biebl <biebl@debian.org> | 2015-09-06 19:05:35 +0200 |
|---|---|---|
| committer | Michael Biebl <biebl@debian.org> | 2015-09-06 19:08:13 +0200 |
| commit | d6629e64f8a5130719a3dc3e5f70cd503fce067c (patch) | |
| tree | 59874127cef96299a739f5c0829a0dc6c6ec9dbb /DISTRO_PORTING | |
| parent | 480a4b9777d6ad525090c7e0ff6ee9e867c4ebb0 (diff) | |
build-sys: remove sphinx binary from configure summary
We no longer use sphinx as part of the build process so remove it from
the configure summary as well.
This is a leftover from commit 2799e519cabb6dfa99341b9a56ebd4dc2a4ec22a.
Diffstat (limited to 'DISTRO_PORTING')
0 files changed, 0 insertions, 0 deletions