diff --git a/common/makefile b/common/makefile
index 4ea24b8..9c74dd3 100644
--- a/common/makefile
+++ b/common/makefile
@@ -130,7 +130,6 @@
 docs: ${DOCS} ${PROGDOCS} 
 	@chmod 644 ${DOCS} ${PROGDOCS}
 	@chmod 644 *.gz *.txt
-	@flip -u *txt
 
 release: docs ${PROGFILES}
 	@mkdir ${DIR}