Den 18. nov. 2013 10:06, skrev Sandro CAZZANIGA:
You see my point ? Cheers.
Yes, I see your point :) The manual page you saw was auto-generated docbook pages, so it's no P*. Today, however, I've created a webpage which runs on P* and looks nicer: http://www.p-star.org/ Atle.