DHCP Server - Zeitserver bekannt machen - welche Option angeben?

Servus,

bei mir läuft ein DHCP Server unter Debian Etch. Ich habe zudem auch einen NTP
Zeitserver auf der gleichen Maschine installiert. Um den Zeitdienst über DHCP
bekannt zu machen, habe ich diese zwei Optionen gefunden, die für mich aber das
gleiche bedeuten:

option ntp-servers
option time-servers

Welche Option ist denn nun die richtige und warum gibt es die beiden, sollten sie
vom Namen her doch für das gleiche zuständig sein, nämlich den Zeitserver angeben.

Im Netz habe ich nichts gefunden, ausser, dass beide in der Konfig Datei auftauchen
können, auch die MAN-Page konnte mich nicht weiterbringen.

Gruß
TiTux