Index: trunk/doc/user/Makefile =================================================================== --- trunk/doc/user/Makefile (revision 30685) +++ trunk/doc/user/Makefile (revision 30686) @@ -14,7 +14,7 @@ ps2pdf user.ps ps.lst.vols: */*.html */*.png ./listlnk Makefile - ./listlnk list -v | grep "[.]html " | grep -v "^index.html " >> ps.lst.vols + ./listlnk list -v | grep "[.]html " | grep -v "^index.html " > ps.lst.vols ps.lst: */*.html */*.png ps.lst.vols echo "title.html" > ps.lst Index: trunk/doc/user/listlnk =================================================================== --- trunk/doc/user/listlnk (revision 30685) +++ trunk/doc/user/listlnk (revision 30686) @@ -64,7 +64,7 @@ if (vol) { vp = path sub("/.*", "", vp) - print path, int(VOL[vp]) + print path "\t" int(VOL[vp]) } else print path