String fileName

Source 

String get fileName => '$dirName-library.html';