diff options
-rw-r--r-- | flex.morph | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -3,8 +3,7 @@ "kind": "chunk", "configure-commands": [ "./autogen.sh", - "./configure --prefix=\"$PREFIX\"", - "touch doc/*" + "./configure --prefix=\"$PREFIX\"" ], "build-commands": [ "make" |