changeset 19300:217c455eac8f

Add new genpropdoc.m and graphics_properties.mk files to EXTRA_DIST * doc/interpreter/Makefile.am: add genpropdoc.m and graphics_properties.mk in $EXTRA_DIST list
author Pantxo Diribarne <pantxo.diribarne@gmail.com>
date Sun, 19 Oct 2014 14:16:20 +0200
parents d0f02639f560
children f32fb4d3fb9e
files doc/interpreter/Makefile.am
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/doc/interpreter/Makefile.am	Sat Oct 18 20:49:34 2014 -0700
+++ b/doc/interpreter/Makefile.am	Sun Oct 19 14:16:20 2014 +0200
@@ -274,6 +274,8 @@
   contributors.in \
   doc-cache \
   find-docstring-files.sh \
+  genpropdoc.m \
+  graphics_properties.mk \
   images \
   images.awk \
   images.mk \