Support for file type in -p to process all kinds of files from

[autodist.git] / apps / autodist / doc / autodist.texi

diff --git a/apps/autodist/doc/autodist.texi b/apps/autodist/doc/autodist.texi
index c5350622f5d73e374e06595a713d9063d70acd25..2d2cd57358ab6ce9234682930676d36f8a5a9fc3 100644 (file)
--- a/apps/autodist/doc/autodist.texi
+++ b/apps/autodist/doc/autodist.texi
@@ -1329,8 +1329,10 @@ directory 'distdir', 'autodist.conf' configuration file and the
 default distribution 'default', then exits.
 
 @item -p
-@itemx --process <src> <dst>
-process Makefile.ad file <src> into <dst> for distribution, the exits.
+@itemx --process <type> <src> <dst>
+Process file <src> into <dst> for distribution, <type> is 'makefile',
+'configure', 'non-source' or 'source' and defines the type of <src>,
+then exits.
 
 @item -m
 @itemx --makedist