tree 6e8434000f7e4872045dc81a6d95431f4499f78f
parent d595c953eca0d6965d85a95108b3cc8407240ea1
author Jan Kundrát <jan.kundrat@cesnet.cz> 1534958497 +0200
committer Jan Kundrát <jan.kundrat@cesnet.cz> 1534958561 +0200

simplify generator installation

...so that I avoid overwriting a wrong generator when I copy-paste stuff
in future :).

Change-Id: I33e3adff6bd15aaaf8531e1c6ea5239d23904b43