From d63611be8aead9d92a954f457226a7a767cb6458 Mon Sep 17 00:00:00 2001 From: John Hubbard Date: Tue, 28 May 2019 22:45:25 -0700 Subject: Add index.html to each directory This is in preparation for publishing the site, via github pages. The index.html files were generated by invoking: //sw/pvt/jhubbard/scripts/gen-index-htmls.sh#3 ...from the top-level directory. Reviewed by: aritger, rmorell --- pascal/index.html | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 pascal/index.html (limited to 'pascal/index.html') diff --git a/pascal/index.html b/pascal/index.html new file mode 100644 index 0000000..ea5684b --- /dev/null +++ b/pascal/index.html @@ -0,0 +1,10 @@ + + pascal + +

pascal

+ BIT_DISPLAY_PTRS-U-BIT_DP_PTRS-d.pdf
+ gp100-fbpa.txt
+ gp100-mmu-format.pdf
+ gp100-msi-intr.txt
+ + -- cgit v1.2.3