diff options
| -rwxr-xr-x | debian/rules | 3 | 
1 files changed, 1 insertions, 2 deletions
| diff --git a/debian/rules b/debian/rules index 3205af0..73d4f09 100755 --- a/debian/rules +++ b/debian/rules @@ -36,8 +36,7 @@ configure: configure-stamp  configure-stamp:  	dh_testdir  	CFLAGS="$(CFLAGS)" ./configure $(SYSTEM) --prefix=/usr \ -	    --mandir=\$${prefix}/share/man --with-afs \ -	    --with-wallet-server=wallet.stanford.edu \ +	    --mandir=\$${prefix}/share/man --with-kaserver \  	    --enable-reduced-depends  	touch $@ | 
