#!/usr/bin/make -f

#
# Makefile
#

default: pldoc

pldoc:
	swipl gen_pldoc.pl
	mv bddem.html index.html

.PHONY: default pldoc