364b72 Update `Manuals.docbook'.

Authored and Committed by areguera 12 years ago
    Update `Manuals.docbook'.
    
        
file modified
+13 -11