Move documentation to separate directory

[goredo.git] / goredo.info.do

diff --git a/goredo.info.do b/goredo.info.do
deleted file mode 100644 (file)
index 93ac395..0000000
--- a/goredo.info.do
+++ /dev/null
@@ -1,6 +0,0 @@
-redo-ifchange *.texi VERSION
-${MAKEINFO:-makeinfo} \
-    -D "VERSION `cat VERSION`" \
-    --set-customization-variable CLOSE_QUOTE_SYMBOL=\" \
-    --set-customization-variable OPEN_QUOTE_SYMBOL=\" \
-    --output $3 goredo.texi