Fix toc link not working on github#338

murata0705 wants to merge 1 commit intointeragent:masterinteragent/prmd:masterfrom

murata0705:fix/toc_link_not_working_on_githubmurata0705/prmd:fix/toc_link_not_working_on_githubCopy head branch name to clipboard