Follow-up Comment #1, sr #106392 (project administration): If nobody minds, I shall declare the documentation an external library, like in http://www.gnu.org/prep/maintain/html_node/External-Libraries.html
Please close this item. Thank you.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/support/?106392>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
