Searched refs:manpage_args (Results 1 – 2 of 2) sorted by relevance
1811 manpage_args=""1818 manpage_args="E"1829 manpage_args="${manpage_args}H"1836 manpage_args="${manpage_args}N"1908 if [ "$manpage_args" = "" ]; then1909 manpage_args="A"2069 contents=$(replace "$contents" "BUILD_TYPE" "$manpage_args")2196 cp -f "$scriptdir/manuals/bc/$manpage_args[all...]
1811 manpage_args=""1818 manpage_args="E"1829 manpage_args="${manpage_args}H"1836 manpage_args="${manpage_args}N"1908 if [ "$manpage_args" = "" ]; then1909 manpage_args="A"2069 contents=$(replace "$contents" "BUILD_TYPE" "$manpage_args")2196 cp -f "$scriptdir/manuals/bc/$manpage_args.1.md" manuals/bc.1.md2197 cp -f "$scriptdir/manuals/bc/$manpage_args.1" manuals/bc.12198 cp -f "$scriptdir/manuals/dc/$manpage_args.1.md" manuals/dc.1.md[all …]