Commit a7e7b458 authored by Miguel Angel Reina Ortega's avatar Miguel Angel Reina Ortega
Browse files

Small fix for publication of spec

parent 91e4ce29

publish_spec.sh

+7 −7
Original line number Original line Diff line number Diff line
@@ -27,14 +27,14 @@ if [ ! $specs ] ; then 
    exit 0

    exit 0

fi

fi





for i in media/*.svg ; do

for i in $(find -name "*.svg") ; do

  echo "\n------ Converting SVG to PNG for pandoc --------"

  echo "\n------ Converting SVG to PNG for pandoc --------"

	docker run --rm -v $(pwd):/tmp/ -u $(id -u):$(id -g) "$TOOLS_DOCKER_IMAGE" svg2png "/tmp/$i"

	docker run --rm -v $(pwd):/tmp/ -u $(id -u):$(id -g) "$TOOLS_DOCKER_IMAGE" svg2png "/tmp/$i"

done

done





for i in *.md ;  do

for i in *.md ;  do

    if [ $i != 'README.md' ]; then

    if [ $i != 'README.md' ]; then

      if [[ $i =~ '(TS|TR).*\.md' ]] ; then

    	if [[ $i =~ (TS|TR).*\.md ]] ; then

        	echo "\n------ Adding TOC to spec --------"

        	echo "\n------ Adding TOC to spec --------"

	      	docker run --rm -v $(pwd):/tmp/ -u $(id -u):$(id -g) "$TOOLS_DOCKER_IMAGE" generateTOC --add-content "/tmp/$i"

	      	docker run --rm -v $(pwd):/tmp/ -u $(id -u):$(id -g) "$TOOLS_DOCKER_IMAGE" generateTOC --add-content "/tmp/$i"

	  	fi

	  	fi