# HG changeset patch # User "Robert P. J. DAY" # Date 1240001147 0 # Node ID 740eaf5755238b9d1dc138bab798020c8c7b6811 # Parent 108eaf22653b3a2fbc3fdf202e8cc78f8faef1ed Fix obvious "DESTDIR" misspelling. diff -r 108eaf22653b -r 740eaf575523 docs/overview.txt --- a/docs/overview.txt Mon Apr 06 20:27:17 2009 +0000 +++ b/docs/overview.txt Fri Apr 17 20:45:47 2009 +0000 @@ -168,7 +168,7 @@ ./configure --prefix=/usr make - make DESDTDIR=/packaging/place install + make DESTDIR=/packaging/place install Shell completion | -----------------+