add script to fix the navigation links when the index order changes
re-linking the pages manually makes one's head explode, so automate it.
doc/fixnavi.pl
0 → 100755
Please register or sign in to comment
re-linking the pages manually makes one's head explode, so automate it.