Z:gnu-www-ja-gnu-linux-faq--372e78-Shouldn't you put something in/de

Sollte nicht etwas in die GNU GPL aufgenommen werden, um zu verlangen, das System GNU zu nennen? (#require)