From 07ad4979c626b4cbc35c8c29c922bfeb3cfb0e1c Mon Sep 17 00:00:00 2001 From: "Alex A. Naanou" Date: Wed, 2 Mar 2022 17:50:18 +0300 Subject: [PATCH 1/2] notes... Signed-off-by: Alex A. Naanou --- scripts/cls2tex.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/cls2tex.sh b/scripts/cls2tex.sh index ab8cfd8..4ce93a5 100755 --- a/scripts/cls2tex.sh +++ b/scripts/cls2tex.sh @@ -1,8 +1,10 @@ #!/usr/bin/env bash #---------------------------------------------------------------------- -# XXX might be a good idea to add footnotes with links whare prefized +# XXX might be a good idea to add footnotes with links whare prefixed # sections originally were... # ...or as an option, replace sections with footnotes when removing... +# not sure if this should be done manually or automatically, though +# the less effort needed the better... CMD="$0 $@" From 49f6090cda0e691263035516046dfbaf55487ddb Mon Sep 17 00:00:00 2001 From: "Alex A. Naanou" Date: Thu, 3 Mar 2022 23:05:37 +0300 Subject: [PATCH 2/2] ... Signed-off-by: Alex A. Naanou --- scripts/cls2tex.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/cls2tex.sh b/scripts/cls2tex.sh index 4ce93a5..6f77c46 100755 --- a/scripts/cls2tex.sh +++ b/scripts/cls2tex.sh @@ -25,6 +25,9 @@ printhelp(){ echo " -p | --prefix PREFIX" echo " Set the doc comment PREFIX (default: \"%\")" echo " -s | --strip Strip docs out" + # XXX ??? +# echo " -r | --replace CODE" +# echo " Like -s/--strip but replace stripped code with CODE" echo " -n | --no-msg Don't add the \"generated with\" message to output" echo echo "This will:"