#
# 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,
clean:
-rm -f $(TARGETS) $(BUILT_XML_FILES)
-%.html : %.xml
- xmlto html-nochunks $<
+# This is non-portable pattern rule.
+#%.html : %.xml
+# xmlto html-nochunks $<