docs: add summary to Documentation as well
tree42242c9bf2cbdbb3f2bb0ac0d40507a639f680f2
-rw-r--r-- 105 .gitattributes
-rw-r--r-- 602 .gitignore
-rw-r--r-- 795 .mailmap
-rw-r--r-- 1664 AUTHORS
-rw-r--r-- 18398 COPYING
drwxr-xr-x - Documentation
-rw-r--r-- 7877 INSTALL
-rw-r--r-- 2840 README
-rw-r--r-- 490 REPORTING-BUGS
-rw-r--r-- 3060 TODO
-rw-r--r-- 6 VERSION
drwxr-xr-x - contrib
drwxr-xr-x - scripts
drwxr-xr-x - src