summaryrefslogtreecommitdiff
path: root/print/bibtool/DESCR
diff options
context:
space:
mode:
Diffstat (limited to 'print/bibtool/DESCR')
-rw-r--r--print/bibtool/DESCR9
1 files changed, 9 insertions, 0 deletions
diff --git a/print/bibtool/DESCR b/print/bibtool/DESCR
new file mode 100644
index 00000000000..8131d9c3454
--- /dev/null
+++ b/print/bibtool/DESCR
@@ -0,0 +1,9 @@
+BibTeX provides an easy to use means to integrate citations and
+bibliographies into LaTeX documents. But the user is left alone
+with the management of the BibTeX files. The program BibTool is
+intended to fill this gap. BibTool allows the manipulation of BibTeX
+files which goes beyond the possibilities---and intentions---of
+BibTeX.
+
+BibTool contains a user's manual written in LaTeX of more than 60
+pages (and still growing).