summaryrefslogtreecommitdiffstats
path: root/MANIFEST
diff options
context:
space:
mode:
Diffstat (limited to 'MANIFEST')
-rw-r--r--MANIFEST1
1 files changed, 1 insertions, 0 deletions
diff --git a/MANIFEST b/MANIFEST
index dd07ea5..6c55ffd 100644
--- a/MANIFEST
+++ b/MANIFEST
@@ -191,6 +191,7 @@
./doc/html/PSandPDF/Dependencies
./doc/html/PSandPDF/Makefile.in
+./doc/html/PSandPDF/process.txt _DO_NOT_DISTRIBUTE_
./doc/html/TechNotes.html
./doc/html/TechNotes/shuffling-algorithm-report.pdf