i just now built the manual 7.0 without issues from https://github.com/csound/manual/tree/7.0
.....
 Writing filelen.html for refentry(filelen)
......

are you building this manual?