Name	Size	Permission	Options
cmds	DIR	drwxrwxr-x	Action Delete Chmod Rename
htmlman	DIR	drwxrwxr-x	Action Delete Chmod Rename
infoman	DIR	drwxrwxr-x	Action Delete Chmod Rename
library	DIR	drwxrwxr-x	Action Delete Chmod Rename
refman	DIR	drwxrwxr-x	Action Delete Chmod Rename
texstuff	DIR	drwxrwxr-x	Action Delete Chmod Rename
textman	DIR	drwxrwxr-x	Action Delete Chmod Rename
tutorials	DIR	drwxrwxr-x	Action Delete Chmod Rename
.gitignore	0.1 KB	-rw-rw-r--	action delete edit rename chmod
Makefile	5.293 KB	-rw-rw-r--	action delete edit rename chmod
allfiles.etex	2.665 KB	-rw-rw-r--	action delete edit rename chmod
anchored_book.hva	1.301 KB	-rw-rw-r--	action delete edit rename chmod
biblio.etex	9.097 KB	-rw-rw-r--	action delete edit rename chmod
foreword.etex	2.939 KB	-rw-rw-r--	action delete edit rename chmod
index.tex	0.663 KB	-rw-rw-r--	action delete edit rename chmod
macros.hva	7.628 KB	-rw-rw-r--	action delete edit rename chmod
macros.tex	7.211 KB	-rw-rw-r--	action delete edit rename chmod
manual.hva	0.072 KB	-rw-rw-r--	action delete edit rename chmod
manual.inf	4.12 KB	-rw-rw-r--	action delete edit rename chmod
manual.info.header	0.123 KB	-rw-rw-r--	action delete edit rename chmod
manual.tex	3.107 KB	-rw-rw-r--	action delete edit rename chmod
style.css	2.571 KB	-rw-rw-r--	action delete edit rename chmod