doc: nuke old shell script used for sanitizing
authorRamprasad Venkataraman <ramv@illinois.edu>
Tue, 7 Aug 2012 18:09:43 +0000 (13:09 -0500)
committerRamprasad Venkataraman <ramv@illinois.edu>
Tue, 7 Aug 2012 18:09:43 +0000 (13:09 -0500)
commite647115ff65673cce7805b3dcd6b94864781df0f
tree79c45eeab0828da85c6096faa035533f1da6c7d9
parentcbdd6ee30e738141e110f6861fc22a225954142c
doc: nuke old shell script used for sanitizing
doc/Makefile.common
doc/l2h_sanitize_markup.sh [deleted file]