diff options
Diffstat (limited to 'libgmp-doc.pkg')
-rw-r--r-- | libgmp-doc.pkg/control | 5 | ||||
-rw-r--r-- | libgmp-doc.pkg/files | 3 |
2 files changed, 8 insertions, 0 deletions
diff --git a/libgmp-doc.pkg/control b/libgmp-doc.pkg/control new file mode 100644 index 0000000..9c6246f --- /dev/null +++ b/libgmp-doc.pkg/control @@ -0,0 +1,5 @@ +Architecture: all +Platform: all +Depends: gmp (= ${Binary-Version}) +Description: GMP library documentation. + ${Common-Description} diff --git a/libgmp-doc.pkg/files b/libgmp-doc.pkg/files new file mode 100644 index 0000000..cc54caf --- /dev/null +++ b/libgmp-doc.pkg/files @@ -0,0 +1,3 @@ +/usr/share/info/gmp.info +/usr/share/info/gmp.info-1 +/usr/share/info/gmp.info-2 |