Fix problems in the script that makes HTML documents: (1) The new "Use"
drwxr-xr-x - configs
drwxr-xr-x - doc
drwxr-xr-x - src