Adaptation to git: added a new push target to the main makefile.
[adesklets.git] / doc / 
tree56ddd3ed39970fcafd815905fe7ab44257574acf
drwxr-xr-x   ..
-rw-r--r-- 1115 Makefile.am
-rw-r--r-- 85952 adesklets_en.texi
-rw-r--r-- 37141 adesklets_fr.texi
-rw-r--r-- 19550 fdl.texi
drwxr-xr-x - gdesklets
drwxr-xr-x - html
-rw-r--r-- 3133 htmldoc.sh.in
drwxr-xr-x - imlib2
-rw-r--r-- 541 mdate-sh
-rw-r--r-- 1758 syfou.asc
-rw-r--r-- 205923 texinfo.tex