doc: Add simple floating menu.
tree88c88cd72f545bde5b363b5acf8b058b3e83c63e
-rw-r--r-- 164 .gitignore
-rw-r--r-- 26434 COPYING
-rw-r--r-- 505 Makefile
-rw-r--r-- 138 README
-rw-r--r-- 254 app.mk
drwxr-xr-x - build
-rw-r--r-- 405 config.mk
-rwxr-xr-x 9937 configure
drwxr-xr-x - demos
drwxr-xr-x - doc
-rw-r--r-- 890 gen.mk
-rw-r--r-- 3288 gfxprim_config.py
-rwxr-xr-x 165 gp_run.sh
drwxr-xr-x - include
-rwxr-xr-x 923 install.sh
-rw-r--r-- 1651 lib.mk
drwxr-xr-x - libs
-rw-r--r-- 154 libver.mk
-rw-r--r-- 2275 post.mk
-rw-r--r-- 42 pre.mk
drwxr-xr-x - pylib
-rw-r--r-- 912 pywrap.mk
drwxr-xr-x - tests