merging 1.2 branch into main trunk

[ginac.git] / debian / docs

diff --git a/debian/docs b/debian/docs
new file mode 100644 (file)
index 0000000..eb9b151
--- /dev/null
+++ b/debian/docs
@@ -0,0 +1,3 @@
+NEWS
+README
+AUTHORS