make doc updatemaster
treed7034d501959fb51b654580fed18fd29cf48d9f1
-rw-r--r-- 96 .gitattributes
-rw-r--r-- 725 .gitignore
-rw-r--r-- 6253 Makefile
-rw-r--r-- 4450 Makefile.lib
-rw-r--r-- 483 _darcs_binaries
drwxr-xr-x - addons
-rw-r--r-- 379 build.io
drwxr-xr-x - build
drwxr-xr-x - docs
drwxr-xr-x - extras
-rw-r--r-- 63 gitRemoveConflicts
-rw-r--r-- 36 gitShowConflicts
drwxr-xr-x - libs
drwxr-xr-x - samples
drwxr-xr-x - tools