summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--MANIFEST1
1 files changed, 1 insertions, 0 deletions
diff --git a/MANIFEST b/MANIFEST
index 1187d89..6e2b286 100644
--- a/MANIFEST
+++ b/MANIFEST
@@ -171,6 +171,7 @@
./doc/html/TechNotes/SWControls.html
./doc/html/TechNotes/SymbolTables.html
./doc/html/TechNotes/Version.html
+./doc/html/TechNotes/VFL.html
./doc/html/TechNotes/pipe1.gif
./doc/html/TechNotes/pipe1.obj
./doc/html/TechNotes/pipe2.gif