diff options
| author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2018-12-14 01:53:32 +0100 |
|---|---|---|
| committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2018-12-14 01:53:32 +0100 |
| commit | 1e0fccd1af54fdd4dbd79f6e7c5715478f83dea3 (patch) | |
| tree | 60901995ab6ead5da7e78fd7a132e7e8b63326c1 /progdoc | |
| parent | 532116e7e33d80a79e176f043defffbfc2b8d06e (diff) | |
Doc: Move root of code documentation to doc dir
It reduces clutter in root and also avoid collision with doc dir on
case-insensitive filesystems when name back to Doc.
Diffstat (limited to 'progdoc')
| -rw-r--r-- | progdoc | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/progdoc b/progdoc deleted file mode 100644 index 77061390..00000000 --- a/progdoc +++ /dev/null @@ -1,9 +0,0 @@ -D doc/prog-head.sgml -C doc -C nest -C conf -C filter -C proto -C sysdep -C lib -D doc/prog-foot.sgml |