#
# GNU Radio is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation; either version 2, or (at your option)
+# the Free Software Foundation; either version 3, or (at your option)
# any later version.
#
# GNU Radio is distributed in the hope that it will be useful,
# ----------------------------------------------------------------
-%.html : %.xml
- xmlto html-nochunks $<
+gr-trellis.html : gr-trellis.xml
+ xmlto html-nochunks $(top_srcdir)/gr-trellis/doc/gr-trellis.xml
%.xml : % make_numbered_listing.py
./make_numbered_listing.py $<