diff --git a/rtl/dos/ppi/makefile.ppi b/rtl/dos/ppi/makefile.ppi
new file mode 100644
index 0000000000..08a2197f70
--- /dev/null
+++ b/rtl/dos/ppi/makefile.ppi
@@ -0,0 +1,6 @@
+#
+# Here we set the names of all PPI files.
+#
+PPINAMES = arc colors dpmi2raw ellipse fill font global ibm image line \
+           modes move palette pixel stdcolor text triangle vesadeb 
+PPIINCNAMES= $(addsuffix .ppi,$(PPINAMES))