Add filetype colours to the manual. Also add a macro to give the
[kugel-rb.git] / manual / main_menu / 
treebd58c4328614ecd96a488c310762d7f4ccc0d7e0
drwxr-xr-x   ..
-rw-r--r-- 4435 fmradio.tex
drwxr-xr-x - images
-rw-r--r-- 11028 main.tex
-rw-r--r-- 2717 recording_screen.tex