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 --- Display-Ref-Manuals/index.html | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 Display-Ref-Manuals/index.html (limited to 'Display-Ref-Manuals/index.html') diff --git a/Display-Ref-Manuals/index.html b/Display-Ref-Manuals/index.html new file mode 100644 index 0000000..bcfd720 --- /dev/null +++ b/Display-Ref-Manuals/index.html @@ -0,0 +1,7 @@ + + Display-Ref-Manuals + +

Display-Ref-Manuals

+ gv100
+ + -- cgit v1.2.3