#!/usr/bin/make -f

#
# Makefile
#

default: pldoc

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

.PHONY: default pldoc