man_MANS=ppd_check_option_is_marked.3 ppd_file_new.3 ppd_get_page_length.3 ppd_file_free.3 ppd_get_num_conflicts.3 ppdfilt.1 ppd_emit_to_file.3 ppd_find_choice.3

EXTRA_DIST = $(man_MANS)

#files:
#        @files=`ls $(DISTFILES) 2> /dev/null `; for p in $$files; do \
#          echo $$p; \
#        done