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