afe1f40 clean_ffmpeg.sh: Add some more manual_files needed by autorename_*

Authored and Committed by Kevin Kofler 6 years ago
    clean_ffmpeg.sh: Add some more manual_files needed by autorename_*
    
    Also update sources with the regenerated and reuploaded tarball.
    
        
file modified
+11 -0
file modified
+1 -1