Only one newline after @item in summary.texi.
authormycroft <mycroft>
Thu, 24 Jun 1993 03:19:03 +0000 (03:19 +0000)
committermycroft <mycroft>
Thu, 24 Jun 1993 03:19:03 +0000 (03:19 +0000)
commit20a9386ab667e648348f3e84b85ccd2f2a5afb9f
tree9dea152555e9691ffcef8847df3f144bb5e8f3ff
parent7d43988376eafe99166cad63af4ac137f3a31c1a
Only one newline after @item in summary.texi.
manual/summary.awk