Как использовать Java 6 при установке java 7?

auto-apt

auto-apt - это пакет, который очень пригодится, особенно с Makefile и скриптами configure, которые ссылаются на вещи, которые у вас могут не быть, и не знают, где их найти, который часто бывает сложным с файлами заголовков. Вы вызывали make в этом случае, и он пытался вызвать sphinx-build, но не смог, когда он не смог его найти.

auto-apt run [...] выполнит указанную команду, а затем проведет вас через установку пакетов содержащиеся отсутствующие файлы, которые он знает apt-get, могут найти и установить.

Итак, просто вызовите auto-apt run make html и посмотрите, что произойдет:)

Для получения дополнительной информации см. документацию для авто-склонные