Adjust the doc server for empty doc repo or repo without index page
    
    In the first case, we raise a 404 error, in the later case, we list
    all the files and folder present in the repo