Changeset - r673:e4378da8cfcb
« 672:dbf22d
674:0cd6d8 »
gravatar
ladanyi@tmit.bme.hu
ladanyi@tmit.bme.hu
Rename documentation install folder from 'docs' to 'html'
0 2 0
default
2 files changed with 6 insertions and 6 deletions:
doc/CMakeLists.txt
1
1
doc/Makefile.am
5
5
↑ Collapse diff ↑
doc/CMakeLists.txt
Show white space 8 line context
... ... 
@@ -34,9 +34,9 @@
34 34 

			




	35
	35
	
		
  IF(UNIX)


			




	36
	36
	
		
    INSTALL(


			




	37
	37
	
		
      DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/html/


			




	38
	
	
		
      DESTINATION share/doc/lemon/docs


			




	
	38
	
		
      DESTINATION share/doc/lemon/html


			




	39
	39
	
		
      COMPONENT html_documentation


			




	40
	40
	
		
    )


			




	41
	41
	
		
  ELSEIF(WIN32)


			




	42
	42
	
		
    INSTALL(

			




        

    

    

    

        

            

                

                    doc/Makefile.am
                

                

                  
                  
                  
                  Show white space
                  8 line context
                

                
                  
                
            

        

        

            

            



	...
	...
	
		
@@ -90,20 +90,20 @@


			




	90
	90
	
		
	rm doc/libstdc++.tag.tmp


			




	91
	91
	
		

			




	92
	92
	
		
install-html-local: doc/html


			




	93
	93
	
		
	@$(NORMAL_INSTALL)


			




	94
	
	
		
	$(mkinstalldirs) $(DESTDIR)$(htmldir)/docs


			




	
	94
	
		
	$(mkinstalldirs) $(DESTDIR)$(htmldir)/html


			




	95
	95
	
		
	for p in doc/html/*.{html,css,png,map,gif,tag} ; do \


			




	96
	96
	
		
	  f="`echo $$p | sed -e 's|^.*/||'`"; \


			




	97
	
	
		
	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/docs/$$f"; \


			




	98
	
	
		
	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/docs/$$f; \


			




	
	97
	
		
	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/html/$$f"; \


			




	
	98
	
		
	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/html/$$f; \


			




	99
	99
	
		
	done


			




	100
	100
	
		

			




	101
	101
	
		
uninstall-local:


			




	102
	102
	
		
	@$(NORMAL_UNINSTALL)


			




	103
	103
	
		
	for p in doc/html/*.{html,css,png,map,gif,tag} ; do \


			




	104
	104
	
		
	  f="`echo $$p | sed -e 's|^.*/||'`"; \


			




	105
	
	
		
	  echo " rm -f $(DESTDIR)$(htmldir)/docs/$$f"; \


			




	106
	
	
		
	  rm -f $(DESTDIR)$(htmldir)/docs/$$f; \


			




	
	105
	
		
	  echo " rm -f $(DESTDIR)$(htmldir)/html/$$f"; \


			




	
	106
	
		
	  rm -f $(DESTDIR)$(htmldir)/html/$$f; \


			




	107
	107
	
		
	done


			




	108
	108
	
		

			




	109
	109
	
		
.PHONY: update-external-tags


			




        

    






    
    



    


    

     
    
0 comments (0 inline)