-
Lubomir Rintel authored
The synopsis tag is not appropriate and doesn't look well in HTML and inserts unnecessary line breaks in roff. The <userinput> in <screen> suits this perfectly on the other hand.
14421ac4
The synopsis tag is not appropriate and doesn't look well in HTML and inserts unnecessary line breaks in roff. The <userinput> in <screen> suits this perfectly on the other hand.