Skip to content

Remove duplicating text in the manual page. Closes: #1108840

Alexey Vazhnov requested to merge vazhnov-guest/picotool:Fix_1108840_Man_page_duplicate_text into master

I've double-checked by the first duplicating fragment and the second one. The result was the same with the only difference in one extra .PP at the end of file, I'm not sure if it is needed.

Also text "ERROR: Expected command name before any options" probably came from some Shell-script.

Closes https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1108840.

Edited by Alexey Vazhnov

Merge request reports