• Harald Sitter's avatar
    make phonon use the basename without dir · b8f39bd0
    Harald Sitter authored
    phonon was flatten so its name conflict no longer exists and we can use
    `phonon` as it is now a unique name
    
    (leaving documentation as-is as it describes the general use case)
    b8f39bd0