diff options
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 5 |
1 files changed, 0 insertions, 5 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) |