cheat by touching the man-page before make dist

since the binary doesn't exist yet.
2014-02-11 10:11:44 +01:00
parent 08f37f2abc
commit 6d0ca39b28
1 changed files with 1 additions and 0 deletions
@@ -8,6 +8,7 @@ autoreconf -i
 if [ "x$ARCH" != "x" ]; then
    ./configure
    touch ChangeLog
+    touch yubico-piv-tool.1
    make dist

    if [ "x$ARCH" = "x32" ]; then