Include generated man pages in git repository.
tree76bd0b922570e3cd5e9feb9bedfeb45cf3d16938
-rw-r--r-- 181 .gitignore
drwxr-xr-x - l3doc
drwxr-xr-x - l3gui
drwxr-xr-x - l3lang