diff options
author | Paulo Cesar Pereira de Andrade <pcpa@mandriva.com.br> | 2009-01-30 16:38:03 -0200 |
---|---|---|
committer | Paulo Cesar Pereira de Andrade <pcpa@mandriva.com.br> | 2009-01-30 16:38:03 -0200 |
commit | bf284b043d4c5688da2207647126b095f8c2b0cd (patch) | |
tree | fd46a96bc9f5143470adb96dd185ecee327934bf /man | |
parent | a0c45b798d2fa810167d64a92093840178f993b1 (diff) |
Janitor: make distcheck, compiler warnings, .gitignore
Warning corrections are either unused symbols or using an
integer as a pointer (generated by sparse).
Diffstat (limited to 'man')
-rw-r--r-- | man/.gitignore | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/man/.gitignore b/man/.gitignore deleted file mode 100644 index 2d0f344..0000000 --- a/man/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ -Makefile -Makefile.in -*.3* |