diff options
author | rillig <rillig@pkgsrc.org> | 2007-12-01 12:49:05 +0000 |
---|---|---|
committer | rillig <rillig@pkgsrc.org> | 2007-12-01 12:49:05 +0000 |
commit | 3475ef7b4c572a2995f04f9e8fc89f331d6826ab (patch) | |
tree | b4220edcd8c583c1c71ff4c80fe16fc4d85037ed /lang/camlp5 | |
parent | bee076e3d91252e71454d7275a5fe196fd91eada (diff) | |
download | pkgsrc-3475ef7b4c572a2995f04f9e8fc89f331d6826ab.tar.gz |
Cleaned up the package. The only functional change is that the man/man3
directory is created, which means that all files are properly installed.
Diffstat (limited to 'lang/camlp5')
0 files changed, 0 insertions, 0 deletions