diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.am | 5 | ||||
-rw-r--r-- | doc/makefile | 18 |
2 files changed, 0 insertions, 23 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am deleted file mode 100644 index eb4438f..0000000 --- a/doc/Makefile.am +++ /dev/null @@ -1,5 +0,0 @@ -# file : doc/Makefile.am -# copyright : Copyright (c) 2013-2017 Code Synthesis Tools CC -# license : MIT; see accompanying LICENSE file - -dist_html_DATA = __file__(html_docs) diff --git a/doc/makefile b/doc/makefile deleted file mode 100644 index 31b790d..0000000 --- a/doc/makefile +++ /dev/null @@ -1,18 +0,0 @@ -# file : doc/makefile -# copyright : Copyright (c) 2013-2017 Code Synthesis Tools CC -# license : MIT; see accompanying LICENSE file - -include $(dir $(lastword $(MAKEFILE_LIST)))../build/bootstrap.make - -dist := $(out_base)/.dist - -# Dist. -# -$(dist): data_dist := default.css intro.xhtml -$(dist): export html_docs := $(data_dist) -$(dist): - $(call dist-data,$(html_docs)) - $(call meta-automake) - -$(call include,$(bld_root)/dist.make) -$(call include,$(bld_root)/meta/automake.make) |