diff --git a/docs/Makefile b/docs/Makefile index 0b385a3..3f0c03f 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -1,5 +1,5 @@ INPUTS = index.xml constitution.xml machine_usage.xml \ machine_usage_summary.xml website.xml constitution-change-20020920.xml \ - constitution-change-20040205.xml + constitution-change-20040205.xml machine_usage-change-20070819.xml include ../default.mk