Relocating file to Doc/tools.
Showing
Doc/custlib.py
deleted
100644 → 0
Doc/fix.el
deleted
100644 → 0
Doc/fix_hack
deleted
100755 → 0
Doc/fix_libaux.sed
deleted
100755 → 0
Doc/indfix.py
deleted
100755 → 0
Doc/keywords.py
deleted
100644 → 0
Doc/mktarball.sh
deleted
100755 → 0
Doc/modindex.py
deleted
100755 → 0
Doc/newind.py
deleted
100755 → 0
Doc/node2label.pl
deleted
100755 → 0
Doc/texi2html.py
deleted
100644 → 0
This diff is collapsed.
Doc/text2latex.py
deleted
100644 → 0
Doc/whichlibs
deleted
100755 → 0
Please register or sign in to comment