--name command-line option
When the output format of the documentation is not HTML (such as LaTeX generator, or HtmlHelp), the option --name (or -N for short) specifies the basename of the generated documentation filename (or filenames in case of HtmlHelp). If this is not specified, it uses the default value docs.
E.g. default behaviout of LaTeX generator is to create a file named docs.tex. But if you call pasdoc like this
pasdoc --format latex --name "my_documentation" ...
then it will create file my_documentation.tex.