diff --git a/html_manual/README.txt b/html_manual/README.txt new file mode 100644 index 0000000..6bb6470 --- /dev/null +++ b/html_manual/README.txt @@ -0,0 +1,3 @@ +The splits and pysplits are just copied from the parent directory - remember to update them. + +When we make command line / C / Python we upload it in subdirectory, and rename the index page appropriately.