add spell checking

Author: Vladimir Kotal

.travis.yml

@@ -3,10 +3,11 @@ dist: trusty
 before_install:
 - sudo apt-get -qq update && sudo apt-get install -y --no-install-recommends texlive-fonts-recommended
   texlive-latex-extra texlive-fonts-extra dvipng texlive-latex-recommended texlive-pstricks
-  texlive-lang-czechslovak
+  texlive-lang-czechslovak aspell
 script:
 - make
 - make
+- make spellcheck
 deploy:
   provider: releases
   api_key:

Makefile

@@ -61,3 +61,12 @@ notes:		$(NOTES)
 
 clean:
 		-rm -f *.log *.aux *.m4.tex *.pdf *.m4.tmp *.out
+
+# Once translation is finished, make this return 1 on non-empty output.
+spellcheck:
+		@for file in ${SLIDES}; do \
+			echo "### Checking $$file"; \
+			$(M4) $$file | \
+			    sed '/\begin{verbatim}/,/\end{verbatim}/d' | \
+			    aspell -t --personal=./unix_dict.txt list; \
+		done

intro.tex

@@ -270,7 +270,7 @@
 POSIX.4, because that was its original naming before renumbering.
 Most of this extension is optional, therefore the claim ``system supports
 POSIX.1b'' gives even worse testimony that ``system is POSIX compatible'', i.e.
-practially zero. The only mandatory part of POSIX.4 is a simple addendum to
+practically zero. The only mandatory part of POSIX.4 is a simple addendum to
 signals compared to POSIX1990. It is therefore always necessary to state
 what exactly out of POSIX.4 is implemented -- e.g. shared memory, semaphores,
 real-time signals, memory locking, asynchronous I/O, timers, etc.

unix_dict.txt

@@ -0,0 +1,350 @@
+personal_ws-1.1 en 10000
+ABI
+AIX
+APIABI
+APIs
+Automake
+AvailabilityInternal
+BCPL
+BSDi
+Beran
+Bourne
+Breakpoint
+Butenhof
+CFLAGS
+DNDEBUG
+DragonflyBSD
+Fenner
+FreeBSD
+GRR
+Gdb
+HURD
+HW
+IEC
+IPC
+IRIX
+Illumos
+Interprocess
+Kernighan
+Kotal
+LD
+LF
+Linkers
+Makefile
+Malostransk
+McDougall
+McKusick
+Microsystems
+Minix
+Moder
+NDEBUG
+NSWI
+NetBSD
+Neville
+Novell
+O'Reilly
+OSF
+OpenBSD
+OpenSSL
+PCTS
+PID
+POSIX
+POSIXLY
+PRELOAD
+Pechanec
+Praha
+Principy
+Prog
+RDONLY
+RPATH
+RUNPATH
+Rago
+Realtime
+Ritchie
+Rochkind
+Rudoff
+SAS
+SCO
+SEGV
+SGI
+SONAME
+SPARC
+SUS
+SUSv
+SVID
+SVR
+SVVS
+Solaris
+Solarix
+Stallman
+SunOS
+Tru
+UNIXes
+UNIXware
+UX
+Uresh
+Vahalia
+Vladim
+WG
+XBD
+XCU
+XOPEN
+XPG
+XSH
+Xcurses
+Xinuos
+Xlinker
+aaa
+abc
+abi
+acomp
+additonal
+addr
+ae
+ar
+arg
+argc
+arglist
+args
+argv
+arpa
+ascii
+atexit
+autoconf
+automake
+basename
+beatiful
+bflag
+breakpoint
+bsd
+bt
+buffy
+cdefs
+changequote
+changesets
+chmod
+chracters
+commitee
+const
+coredump
+corrigendums
+cp
+cplusplus
+cpp
+cron
+cstyle
+ctype
+currentunix
+cxref
+daggerset
+dbx
+dependcies
+dependend
+dereferenced
+dev
+dimanche
+dir
+dirent
+distros
+dlopen
+dlsym
+dracula's
+eax
+eg
+elfdump
+elfedit
+elif
+endian
+endif
+env
+envfuncs
+enviroment
+environ
+envp
+errno
+errnum
+errx
+excercise
+expr
+extern
+fcntl
+fd
+fea
+ferror
+fi
+fmt
+fprintf
+func
+gcc
+gdb
+getenv
+getopt
+getoptlong
+getopts
+ggr
+gmake
+gprof
+hearted
+hexdump
+hg
+html
+http
+https
+ie
+ifdef
+ijkl
+inet
+inetd
+informations
+ing
+interp
+interprocess
+intructions
+ipc
+janp
+jp
+ke
+lRa
+ladd
+lclcl
+ld
+ldd
+ldpath
+ldso
+li
+libadd
+libc
+libiberty
+libs
+linker's
+linux
+ln
+longindex
+longopts
+lude
+macOS
+makefile
+meis
+memccpy
+memchr
+memcmp
+memcpy
+memmove
+memset
+microkernel
+microkernels
+mips
+mman
+mmap
+monolitic
+movb
+msg
+mv
+nd
+objdump
+od
+openssl
+optarg
+opterr
+optimalization
+optind
+optinons
+optopt
+optreset
+optstring
+otool
+passwd
+pathmap
+perror
+pid
+pldd
+posix
+pre
+preload
+preprocesor
+preprocessor
+preprocessor's
+printf
+proceses
+profilers
+prog
+programu
+pthread
+putc
+putenv
+ramm
+readelf
+rld
+runtime
+sccs
+sem
+sendmail
+setenv
+setjmp
+shm
+sizeof
+snprintf
+sparc
+src
+stateful
+stdarg
+stderr
+stdhdrs
+stdlib
+stdmacros
+stdout
+strerror
+strncpy
+strtol
+stru
+struct
+subtree
+supresses
+suvreq
+sys
+syscall
+syscallretvals
+syscalls
+sysenter
+syst
+tcp
+ter
+tions
+tmp
+tracepoint
+ture
+tx
+ulimit
+uname
+uncertified
+unistd
+unix
+unixstd
+unsetenv
+userland
+usr
+util
+utils
+vipw
+warnx
+wget
+xb
+xpg
+yyy
+mutex
+PDP
+filesystem
+awk
+DARPA
+XENIX
+BTL
+ACM
+OEM
+ftok
+semget
+shmget
+inode
+NFS
+semop
+msgget
+timesharing