libsec: implement SPKI fingerprinting for okCertificate()

[plan9front.git] / sys / man / mkfile

diff --git a/sys/man/mkfile b/sys/man/mkfile
index 2a60a393c913756dce7fb1a1501a534573b130db..3bb6aaa51fa392f43db2fc3375ee618ad10ee0f5 100644 (file)
--- a/sys/man/mkfile
+++ b/sys/man/mkfile
@@ -13,7 +13,7 @@ indices:V:
        $LIB/mksearchindex > searchindex        # index for man2html searches
 
 permind:V:
-       rm -f /sys/lib/man/permind/toc
+       rm -f $LIB/permind/toc
        {
                echo .am TH
                echo .tm '\\$1' '\\$2' '\\n%'
@@ -35,7 +35,7 @@ permind:V:
                                }
                        builtin cd ..
                }
-       } | troff -$MAN > /dev/null >[2] /sys/lib/man/permind/toc
+       } | troff -$MAN > /dev/null >[2] $LIB/permind/toc
        builtin cd $LIB/permind
        rm -f out
        mk out > /dev/null >[2] /dev/null
@@ -116,6 +116,6 @@ print.out:V: permind
        ps2pdf $prereq $target
 
 clean:V:
-       rm -f man.out print.out searchindex $LIB/lookman/index [0-8]^/INDEX^('' .html)
+       rm -f man.out print.out searchindex $LIB/permind/toc $LIB/lookman/index [0-8]^/INDEX^('' .html)
        builtin cd $LIB/permind
        mk clean