Merged r9481:9518 on jblum/grc_reorganize into trunk. Reorganized grc source under...
[debian/gnuradio] / gr-trellis / doc / Makefile.am
1 #
2 # Copyright 2004,2005 Free Software Foundation, Inc.
3
4 # This file is part of GNU Radio
5
6 # GNU Radio is free software; you can redistribute it and/or modify
7 # it under the terms of the GNU General Public License as published by
8 # the Free Software Foundation; either version 3, or (at your option)
9 # any later version.
10
11 # GNU Radio is distributed in the hope that it will be useful,
12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14 # GNU General Public License for more details.
15
16 # You should have received a copy of the GNU General Public License
17 # along with GNU Radio; see the file COPYING.  If not, write to
18 # the Free Software Foundation, Inc., 51 Franklin Street,
19 # Boston, MA 02110-1301, USA.
20
21
22 include $(top_srcdir)/Makefile.common
23
24 HTML_FILES =
25
26 if HAS_XMLTO
27 HTML_FILES += \
28     gr-trellis.html
29 endif
30
31 all: $(HTML_FILES)
32
33 EXTRA_DIST = \
34     gr-trellis.xml \
35     make_numbered_listing.py \
36     test_tcm.py \
37     test_tcm.py.xml \
38     test_viterbi_equalization1.py \
39     test_viterbi_equalization1.py.xml
40
41 BUILT_XML_FILES =                       
42
43 # ----------------------------------------------------------------
44
45 gr-trellis.html : gr-trellis.xml
46         xmlto html-nochunks $(top_srcdir)/gr-trellis/doc/gr-trellis.xml
47
48 # XXX `%'-style pattern rules are a GNU make extension
49 %.xml : % make_numbered_listing.py
50         ./make_numbered_listing.py $<
51
52 install-data-local:
53         mkdir -p $(DESTDIR)$(gr_docdir)/html
54         @for i in $(HTML_FILES); do \
55                 echo "$(INSTALL_DATA) $$i $(DESTDIR)$(gr_docdir)/html"; \
56                 $(INSTALL_DATA) $$i $(DESTDIR)$(gr_docdir)/html; \
57         done
58
59 uninstall-local:
60         @for i in $(HTML_FILES); do \
61                 echo "$(RM) $(DESTDIR)$(gr_docdir)/$$i;"; \
62                 $(RM) $(DESTDIR)$(gr_docdir)/$$i; \
63         done
64         $(RM) -fr $(DESTDIR)$(gr_docdir)/html
65
66 clean-local:
67         $(RM) -fr $(HTML_FILES) *~