Merge branch 'master' into gh-pages

jeffpar · Nov 28, 2023 · aa85b3c · aa85b3c
2 parents b956075 + 4047aa0
commit aa85b3c
Show file tree

Hide file tree

Showing 5 changed files with 33 additions and 1 deletion.
diff --git a/documents/specs/dpmi/README.md b/documents/specs/dpmi/README.md
@@ -0,0 +1,8 @@
+---
+layout: page
+title: DOS Protected Mode Interface 
+permalink: /documents/specs/dpmi/
+preview: covers/1990_04_23-DPMI_Spec_v09.jpg
+---
+
+{% include gallery/documents.html title="DOS Protected Mode Interface (DPMI) Specifications" tag="dpmi" %}
diff --git a/documents/specs/dpmi/covers/1990_04_23-DPMI_Spec_v09.jpg b/documents/specs/dpmi/covers/1990_04_23-DPMI_Spec_v09.jpg
diff --git a/documents/specs/dpmi/covers/1991_03_12-DPMI_Spec_v10.jpg b/documents/specs/dpmi/covers/1991_03_12-DPMI_Spec_v10.jpg
diff --git a/machines/documents.json b/machines/documents.json
@@ -1818,5 +1818,29 @@
         ]
       }
     }
+  },
+  "specs": {
+    "@title": "Specifications",
+    "@instances": {
+      "dpmi": {
+        "@title": "DOS Protected Mode Interface",
+        "@documents": [
+          {
+            "@title": "DPMI 0.9 (April 1990)",
+            "@link": "https://docs.pcjs.org/specs/dpmi/1990_04_23-DPMI_Spec_v09.pdf",
+            "@cover": "/documents/specs/dpmi/covers/1990_04_23-DPMI_Spec_v09.jpg",
+            "@source": "PCjs",
+            "@tags": "dpmi"
+          },
+          {
+            "@title": "DPMI 1.0 (March 1991)",
+            "@link": "https://docs.pcjs.org/specs/dpmi/1991_03_12-DPMI_Spec_v10.pdf",
+            "@cover": "/documents/specs/dpmi/covers/1991_03_12-DPMI_Spec_v10.jpg",
+            "@source": "",
+            "@tags": "dpmi"
+          }
+        ]
+      }
+    }
   }
 }
diff --git a/machines/pcx86/diskettes.json b/machines/pcx86/diskettes.json
@@ -8696,7 +8696,7 @@
 								"@format": "PC1440K"
 							},
 							{
-								"@title": "MS C 7.00 (DISK 03: COMPILERS)",
+								"@title": "MS C 7.00 (DISK 03: COMPILER)",
 								"@diskette": "MSC700-DISK03.json",
 								"@format": "PC1440K"
 							},