diff options
author | Vladimir Volovich <vvv@vsu.ru> | 2008-03-22 18:29:04 +0000 |
---|---|---|
committer | Vladimir Volovich <vvv@vsu.ru> | 2008-03-22 18:29:04 +0000 |
commit | 27dd3150918187b0ac84aeaca7ef7a0ba86290e6 (patch) | |
tree | 5e59c7d8fe4f5da19c6fff958c6bdc91777d4246 /Build/source/utils/xindy/doc | |
parent | d93bb7ff96e8edd638407a16327cc4aa07ea4d86 (diff) |
corrected rules for pod2man manpage regeneration, to use info
from CVS ident lines.
removed unused GIFs from the doc directory: next.gif, prev.gif, toc.gif
makeindex4.pdf was previously installed but not anymore (although
it is kept in the source tarball); added makeindex4 script and
manpage from sourceforge CVS repository, but keep them only in
the source tarball, and do not install them.
keep xindy.v2 script, manpage and PDF only in the source tarball
and do not install them.
git-svn-id: svn://tug.org/texlive/trunk@7075 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/utils/xindy/doc')
-rw-r--r-- | Build/source/utils/xindy/doc/Makefile.am | 49 | ||||
-rw-r--r-- | Build/source/utils/xindy/doc/next.gif | bin | 172 -> 0 bytes | |||
-rw-r--r-- | Build/source/utils/xindy/doc/prev.gif | bin | 220 -> 0 bytes | |||
-rw-r--r-- | Build/source/utils/xindy/doc/toc.gif | bin | 145 -> 0 bytes |
4 files changed, 30 insertions, 19 deletions
diff --git a/Build/source/utils/xindy/doc/Makefile.am b/Build/source/utils/xindy/doc/Makefile.am index 5ce2177d487..5b9008d46d4 100644 --- a/Build/source/utils/xindy/doc/Makefile.am +++ b/Build/source/utils/xindy/doc/Makefile.am @@ -22,14 +22,7 @@ SUBDIRS = style-tutorial FILES = \ - dataflow.gif \ - faq-1.html \ - faq-2.html \ - faq-3.html \ - faq-4.html \ - faq.html \ - index.gif \ - makeindex4.pdf \ + manual.html \ manual-1.html \ manual-2.html \ manual-3.html \ @@ -37,23 +30,41 @@ FILES = \ manual-5.html \ manual-6.html \ manual-7.html \ - manual.html \ - mappings.gif \ - next.gif \ - prev.gif \ - README \ + faq.html \ + faq-1.html \ + faq-2.html \ + faq-3.html \ + faq-4.html \ + style-tutorial.html \ style-tutorial-1.html \ style-tutorial-2.html \ style-tutorial-3.html \ style-tutorial-4.html \ - style-tutorial.html \ - tex2xindy.pdf \ - texindy.pdf \ - toc.gif \ - xindy.pdf + dataflow.gif \ + index.gif \ + mappings.gif \ + README EXTRA_DIST = $(FILES) -doc_DATA = $(FILES) +PDFS = xindy.pdf texindy.pdf tex2xindy.pdf + +dist_noinst_DATA = xindy.v2.pdf makeindex4.pdf + +doc_DATA = $(FILES) $(PDFS) + +$(srcdir)/xindy.pdf: $(top_srcdir)/user-commands/xindy.1 + groff -man -P-g $< | ps2pdf - $@ + +$(srcdir)/texindy.pdf: $(top_srcdir)/user-commands/texindy.1 + groff -man -P-g $< | ps2pdf - $@ + +$(srcdir)/makeindex4.pdf: $(top_srcdir)/user-commands/makeindex4.1 + groff -man -P-g $< | ps2pdf - $@ + +$(srcdir)/xindy.v2.pdf: $(top_srcdir)/user-commands/xindy.v2.1 + groff -man -P-g $< | ps2pdf - $@ +$(srcdir)/tex2xindy.pdf: $(top_srcdir)/tex2xindy/tex2xindy.1 + groff -man -P-g $< | ps2pdf - $@ diff --git a/Build/source/utils/xindy/doc/next.gif b/Build/source/utils/xindy/doc/next.gif Binary files differdeleted file mode 100644 index 7a2dbe955e0..00000000000 --- a/Build/source/utils/xindy/doc/next.gif +++ /dev/null diff --git a/Build/source/utils/xindy/doc/prev.gif b/Build/source/utils/xindy/doc/prev.gif Binary files differdeleted file mode 100644 index aef90f1fc49..00000000000 --- a/Build/source/utils/xindy/doc/prev.gif +++ /dev/null diff --git a/Build/source/utils/xindy/doc/toc.gif b/Build/source/utils/xindy/doc/toc.gif Binary files differdeleted file mode 100644 index 3d1aebf3274..00000000000 --- a/Build/source/utils/xindy/doc/toc.gif +++ /dev/null |